Standard MLをローカルにインストールする

Standard MLの処理系としてPolyMLを使います。

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に追加する必要があるでしょう。