【发布时间】:2021-07-04 13:01:53
【问题描述】:
"/usr/bin/ld: 找不到-lpolyml"
在 Debian 10 上使用 polyc 编译源 sml 文件时收到此错误。
【问题讨论】:
标签: polyml
"/usr/bin/ld: 找不到-lpolyml"
在 Debian 10 上使用 polyc 编译源 sml 文件时收到此错误。
【问题讨论】:
标签: polyml
polyc 需要 deb 包“libpolyml-dev”,即使在安装 deb 包“polyml”时默认未安装它。 所以,'apt install libpolyml-dev' 解决了这个问题。
【讨论】: