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:

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

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

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

такие как

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