#polyml
Вопрос:
«/usr/bin/ld: не удается найти-lpolyml»
Я получил эту ошибку при компиляции исходного sml-файла с polyc в Debian 10.
Ответ №1:
для polyc требуется пакет deb «libpolyml-dev», даже если он не установлен по умолчанию при установке пакета deb «polyml». Итак, «apt install libpolyml-dev» решил проблему.