Ubuntu 找不到$ml-yacc-lib.cm

我尝试安装一个用新泽西SML/NJ标准ML编写的软件

我完全不知道这种语言，但从逻辑上讲，我只是使用以下命令在我的机器上安装SML/NJ：

 sudo apt-get install smlnj

然后，软件的作者解释说，有一个CM文件需要使用CM.makesources.CM进行编译

以下是sources.cm文件：

不幸的是，当我按我应该的方式调用函数时，以下是错误消息：

Standard ML of New Jersey v110.76 [built: Tue Oct 22 14:04:11 2013]
- CM.make "sources.cm";
[autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
[scanning sources.cm]
[library $/pp-lib.cm is stable]
[attempting to load plugin $/lex-ext.cm]
[library $/lex-ext.cm is stable]
[library $smlnj/cm/tools.cm is stable]
[library $smlnj/internal/cm-lib.cm is stable]
[plugin $/lex-ext.cm loaded successfully]
[attempting to load plugin $/mllex-tool.cm]
[library $/mllex-tool.cm is stable]
[plugin $/mllex-tool.cm loaded successfully]
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
[library $SMLNJ-LIB/PP/pp-lib.cm is stable]
[library $html-lib.cm(=$SMLNJ-LIB/HTML)/html-lib.cm is stable]
[loading (sources.cm):int-binary-map.sml]
[loading (sources.cm):basis.sml]
[loading (sources.cm):nnf-sigs.sml]
[loading (sources.cm):statistics.sml]
[loading (sources.cm):options.sml]
[loading (sources.cm):old-pp.sml]
[loading (sources.cm):nnf.sml]
[loading (sources.cm):model-sigs.sml]
[loading (sources.cm):model.sml]
[loading (sources.cm):sat.sml]
[loading (sources.cm):lexer.lex.sml]
[loading (sources.cm):parser.sml]
Error: (stable) $html-lib.cm(=$SMLNJ-LIB/HTML)/html-lib.cm: unable to find $ml-yacc-lib.cm(=$SMLNJ-ML-YACC-LIB)/ml-yacc-lib.cm (/build/buildd/smlnj-110.76/sml.boot.x86-unix/SMLNJ-ML-YACC-LIB/ml-yacc-lib.cm)

uncaught exception Format
  raised at: ../cm/stable/stabilize.sml:257.15-257.21
             ../cm/stable/stabilize.sml:360.44

我完全不知道为什么会出现这个错误，因为除了重新安装并下载一个工作的源代码外，我没有做任何事情使它崩溃

提前感谢您的帮助！

---

致以最诚挚的问候。

事实上，它只是一个丢失的图书馆：

sudo apt-get install ml-yacc

解决了这个问题

sudo apt-get install ml-yacc