ネタ記録庫/SML/SMLNJのインストール の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• ネタ記録庫/SML/SMLNJのインストール へ行く。
• ネタ記録庫/SML/SMLNJのインストール の差分を削除

[[ネタ記録庫/SML]]

* DebianやUbuntuで、apt-getでインストールする [#xbc70d34]
 $ sudo apt-get install smlnj

* ソースからインストールする [#lfb4fc65]
最新は110.72。以下からコンフィグファイルをダウンロードする。

- http://smlnj.cs.uchicago.edu/dist/working/110.72/config.tgz

利便性のためsmlnj-110.72のようなディレクトリを作ってその中に展開する。
 $ mkdir smlnj-110.72
 $ cd smlnj-110.72
 $ tar xzvf Downloads/config.tgz

ビルドする(root権限は必要ない)
 $ sh config/install.sh

以上で、smlnj-110.72ディレクトリ内にbinとlibディレクトリができるので、/usr/localとかに移してみんなが使えるようにする。
 $ cd ..
 $ sudo mv smlnj-110.72 /usr/local/

smlのbinにパスを通す。
 $ export PATH=$PATH:/usr/local/smlnj-110.72/bin