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

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

• 追加された行はこの色です。
• 削除された行はこの色です。

[[[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