ネタ記録庫/SML

DebianやUbuntuで、apt-getでインストールする †

$ sudo apt-get install smlnj
↑

ソースからインストールする †

最新は110.72。以下からコンフィグファイルをダウンロードする。

利便性のためsmlnj-110.72のようなディレクトリを作ってその中に展開する。

$ mkdir smlnj-110.72
$ cd smlnj-110.72
$ tar xzvf Downloads/config.tgz

ビルドする(root権限は必要ない)

$ sh config/install.sh

以上で、smlnj-110.72ディレクトリ内にbinとlibディレクトリができるので、/usr/localとかに移してみんなが使えるようにする。

$ cd ..
$ sudo mv smlnj-110.72 /usr/local/

smlのbinにパスを通す。

$ export PATH=$PATH:/usr/local/smlnj-110.72/bin

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2011-09-28 (水) 18:06:12 (4593d)