Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
“/usr/bin/ld: 找不到 -lpolyml”
在 Debian 10 上使用 polyc 编译源 sml 文件时收到此错误。
polyc 需要 deb 包“libpolyml-dev”，即使在安装 deb 包“polyml”时默认未安装它。所以，'apt install libpolyml-dev' 解决了这个问题。