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

Question

当我尝试在.cm文件中使用smlnj-lib.cm时，我得到这个错误：

我在MAC 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

Answer 1

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

没有此类前缀的目录将相对于当前目录进行查找。

比如

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