トップ
新規
単語検索
ヘルプ
ネタ記録庫/SML/SMLNJのインストール
をテンプレートにして作成
開始行:
[[ネタ記録庫/SML]]
* DebianやUbuntuで、apt-getでインストールする [#xbc70d34]
$ sudo apt-get install smlnj
* ソースからインストールする [#lfb4fc65]
最新は110.72。以下からコンフィグファイルをダウンロードす...
- http://smlnj.cs.uchicago.edu/dist/working/110.72/config...
利便性のため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ディレクトリ...
$ cd ..
$ sudo mv smlnj-110.72 /usr/local/
smlのbinにパスを通す。
$ export PATH=$PATH:/usr/local/smlnj-110.72/bin
終了行:
[[ネタ記録庫/SML]]
* DebianやUbuntuで、apt-getでインストールする [#xbc70d34]
$ sudo apt-get install smlnj
* ソースからインストールする [#lfb4fc65]
最新は110.72。以下からコンフィグファイルをダウンロードす...
- http://smlnj.cs.uchicago.edu/dist/working/110.72/config...
利便性のため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ディレクトリ...
$ cd ..
$ sudo mv smlnj-110.72 /usr/local/
smlのbinにパスを通す。
$ export PATH=$PATH:/usr/local/smlnj-110.72/bin
ページ名: