トップ
新規
単語検索
ヘルプ
ネタ記録庫/SML/SML#のインストール
をテンプレートにして作成
開始行:
[[[PukiWiki] ネタ記録庫/SML/]]
* Ubuntuの場合 [#i615a57e]
** まず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
* 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
終了行:
[[[PukiWiki] ネタ記録庫/SML/]]
* Ubuntuの場合 [#i615a57e]
** まず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
* 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
ページ名: