你如何在 MacOS Catalina 上设置 StandardML

How do you setup StandardML on MacOS Catalina

我已经按照这里的说明安装了http://smlnj.org/dist/working/110.96/index.html. On that page you have to choose smlnj-amd64-110.96

我点击了下载的包,然后点击打开,打开了一个安装程序。

完成后。我打开一个终端并输入 sml 我得到 zsh: command not found: sml.

如果我将目录更改为 /usr/local/smlnj/bin 和 运行 ./sml,我会收到 sml 提示。

➜  bin ./sml               
Standard ML of New Jersey (64-bit) v110.96 [built: Fri Dec 13 14:59:34 2019]

我的理解是将 smlnj 添加到我的路径中,例如:

export PATH=/usr/local/smlnj/bin:$PATH
// or
export PATH=${HOME}/smlnj/bin:$PATH

我应该通过输入 sml 得到提示,但我却得到:zsh: command not found: sml.

任何指导将不胜感激。

谢谢。

之前我已经将 path 添加到我的 ./bash_profile 文件中。通过将其添加到 .zshrc 并重新启动终端,它起作用了。

# SMLNJ
export PATH=/usr/local/smlnj/bin:$PATH

然后重启终端。

谢谢。