$ sudo apt-get install smlnj
現在の最新は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
$ brew install smlnj
$ brew install gmp --32-bit
現在の最新は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