CM.make 找不到文件 "smlnj-lib.cm"

CM.make cannot find file "smlnj-lib.cm"

当我尝试在 .cm 文件中使用 smlnj-lib.cm 时,出现此错误:

我在 MAC OS X 10.14.2 上使用 Homebrew 安装了 SML/NJ。 /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

如果我记得,你在新的编译管理器中使用旧的编译管理器格式 应相对于标准 ML 安装目录查找的 cm 文件应以 $/dir 为前缀,其中 smlnj-lib.cm 存在于根目录中。

没有这种前缀的目录将相对于当前目录查找。

比如

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