CM.make не может найти файл "smlnj-lib.cm"

Question

Когда я пытаюсь использовать smlnj-lib.cm в файле .cm, я получаю эту ошибку:

Я установил SML / NJ с помощью Homebrew на MAC OS X 10.14.2./ usr / local / smlnj / bin находится в .bash_profile, .bash_profile обновляется.

sources.cm file:

Group is
driver.sml
errormsg.sml
tokens.sig
tokens.sml
tiger.lex
smlnj-lib.cm

Я пытаюсь запустить его:

CM.make "sources.cm";

И получаю эту ошибку:

sources.cm:8.1-8.13 Error: Io: openIn failed on "smlnj-lib.cm", No such file or directory

Answer 1

Если я вспомню, вы используете старый формат менеджера компиляции в новом менеджере компиляции Файлы cm, которые нужно искать относительно стандартных каталогов установки ML, должны начинаться с префикса $/dir, где smlnj-lib.cm существует в корне.

Каталоги

без такого префикса будут просматриваться относительно текущего каталога.

например

Group is
driver.sml
...
$/smlnj-lib.cm