ネタ記録庫/SML/SML＃のインストール のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• ネタ記録庫/SML/SML＃のインストール へ行く。
  • 1 (2011-09-28 (水) 13:10:32)

[[[PukiWiki] ネタ記録庫/SML/]]

まずSML-NJをインストール †

$ sudo apt-get install smlnj

SML#のソースコードのダウンロード †

現在の最新は0.90。以下からソースを取ってくる。

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

展開

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

ビルド †

ビルド、インストールは展開したディレクトリ内のSMLSharpディレクトリで行う

$ cd smlsharp-0.90/SMLSharp

ビルドする。

$ ./configure
$ make

インストール †

$ sudo make install