Question

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

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

 sudo apt-get install smlnj

然后该软件的作者解释说，有一个CM文件需要使用CM.Make "sources.cm"进行编译。

这是文件sources.cm：

Group is 
    $/basis.cm
    $/smlnj-lib.cm
    $/pp-lib.cm
    int-binary-map.sml
    old-pp.sml

    nnf-sigs.sml
    options.sml
    statistics.sml
    basis.sml
    model-sigs.sml
    nnf.sml 
    model.sml
    sat.sml
    lexer.lex
    parser.sml

不幸的是，当我按照我应该调用该函数时，这是错误消息：

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

我根本不知道为什么会出现这个错误，因为除了全新的安装和下载工作源代码之外，我没有做任何事情让它崩溃。

提前感谢您的帮助！最诚挚的问候。

Answer 1

事实上，它只是一个缺少的库：

sudo apt-get install ml-yacc

修复了问题。

无法找到$ ml-yacc-lib.cm

1 个答案: