HOL 4をインストールするためにMoscow MLをインストール



${HOME}/mosml　へインストール。

Makefile.incというファイルを自分のシステム用に編集しなければならないのだが、Linuxの設定のままインストールできた。
（注：確かSPINのインストールで、cppが/libの下にあるようにシンボリックリンクを作ったので、ここだけが普通のBSD Unixと異なる。

Posted: 月 - 6月 11, 2007 at 03:23 午後          

©