• 追加された行はこの色です。
  • 削除された行はこの色です。
[[[PukiWiki] ネタ記録庫/SML/]]

* まずSML-NJをインストール [#o197d898]
 $ sudo apt-get install smlnj

* SML#のソースコードのダウンロード [#a5cc2c1c]
現在の最新は0.90。以下からソースを取ってくる。

http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/?Download

展開
 $ tar xzvf Downloads/smlsharp-0.90.tar.gz

* ビルド [#j03fdd24]
ビルド、インストールは展開したディレクトリ内のSMLSharpディレクトリで行う
 $ cd smlsharp-0.90/SMLSharp

ビルドする。
 $ ./configure
 $ make

* インストール [#z30733c0]
 $ sudo make install


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS