Не удается найти $ ml-yacc-lib.cm

Я пытаюсь установить программное обеспечение, написанное в Стандарт 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

я не знаю вообще, почему эта ошибка, потому что, за исключением новой установки и загрузки рабочего исходного кода, я ничего не сделал, чтобы свернуть его.

Заранее благодарим за вашу помощь! С наилучшими пожеланиями.

источник

2015-10-13 Valentin Montmirail