[[[PukiWiki] ネタ記録庫/SML/]] * まずSML-NJをインストール [#o197d898] * Ubuntuの場合 [#i615a57e] ** まずSML-NJをインストール [#o197d898] $ sudo apt-get install smlnj * SML#のソースコードのダウンロード [#a5cc2c1c] ** SML#のソースコードのダウンロード [#a5cc2c1c] 現在の最新は0.90。以下からソースを取ってくる。 http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/?Download 展開 $ tar xzvf Downloads/smlsharp-0.90.tar.gz * ビルド [#j03fdd24] ** ビルド [#j03fdd24] ビルド、インストールは展開したディレクトリ内のSMLSharpディレクトリで行う $ cd smlsharp-0.90/SMLSharp ビルドする。 $ ./configure $ make * インストール [#z30733c0] ** インストール [#z30733c0] $ sudo make install * Mac(Lion)の場合 [#c81c70c4] ** まずSML-NJをインストール [#q1099cd6] $ brew install smlnj ** gmpのインストール [#l2f6a460] $ brew install gmp --32-bit ** SML#のソースコードのダウンロード [#ha6c8eba] 現在の最新は0.90。以下からソースを取ってくる。 http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/?Download 展開 $ tar xzvf Downloads/smlsharp-0.90.tar.gz ** ビルド [#vd73a7c0] ビルド、インストールは展開したディレクトリ内のSMLSharpディレクトリで行う $ cd smlsharp-0.90/SMLSharp ビルドする。 $ ./configure CC='gcc -m32' CXX='g++ -m32' $ make ** インストール [#p8a87919] $ make install