Локальне встановлення Standard ML

Ми будемо використовувати PolyML як нашу реалізацію Standard ML.

Якщо ми працюємо у Windows, інсталятор можна завантажити з https://github.com/polyml/polyml/releases. Загальні інструкції для Linux/OS X/Free BSD можна знайти на https://github.com/polyml/polyml#readme.

Якщо ми хочемо встановити з вихідного коду, процес досить простий:

$ git clone https://github.com/polyml/polyml.git
$ cd polyml
$ ./configure

Якщо ми хочемо встановити його в іншому місці, наприклад у $HOME/.local:

$ ./configure --prefix=$HOME/.local

Останній крок:

$ make compiler
$ make install

Перевірмо, чи встановлення пройшло правильно:

$ poly

Якщо ми бачимо інтерпретатор, усе готово! Якщо ні, ймовірно, нам доведеться додати $HOME/.local/bin (або <you prefix>/bin) до нашого $PATH.