你如何在 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
然后重启终端。
谢谢。
我已经按照这里的说明安装了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
然后重启终端。
谢谢。