Как настроить StandardML на MacOS Catalina? - PullRequest
0 голосов
/ 12 февраля 2020

Я установил, следуя инструкции здесь http://smlnj.org/dist/working/110.96/index.html. На этой странице вы должны выбрать smlnj-amd64-110.96 .

Я нажал на загруженный пакет и нажал кнопку Открыть, чтобы открыть установщик.

mac installer

Как только это будет сделано. Я открываю терминал и набираю 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.

Любое руководство будет с благодарностью.

Спасибо.

1 Ответ

1 голос
/ 12 февраля 2020

Ранее я добавил path в мой файл ./bash_profile. Добавив его вместо .zshrc и перезапустив терминал, он заработал.

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

Затем перезапустите терминал.

Спасибо.

...