Я установил, следуя инструкции здесь 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
.
Любое руководство будет с благодарностью.
Спасибо.