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

Ubuntuの場合 †

まず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

Mac(Lion)の場合 †

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

$ brew install smlnj

gmpのインストール †

$ brew install gmp --32-bit

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 CC='gcc -m32' CXX='g++ -m32'
$ make

インストール †

$ make install

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2011-09-29 (木) 15:50:38 (3042d)