我已按照http://smlnj.org/dist/working/110.96/index.html此处的说明进行安装。在该页面上,您必须选择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
。
任何指导将不胜感激。
谢谢。
答案 0 :(得分:1)
以前,我已将path
添加到我的./bash_profile
文件中。通过将其添加到.zshrc
并重新启动终端,它可以正常工作。
# SMLNJ
export PATH=/usr/local/smlnj/bin:$PATH
然后重新启动终端。
谢谢。