SML#のダウンロード
SML#コンパイラおよびSML#用プログラム開発ツール(プログラミングツール,ライブラリ,その他のリソース)は,BSDスタイルのSMLSharpライセンス の下で配付されているオープンソースソフトウェアです.
SML#の最新版は3.7.1です.セットアップ方法等の詳細はSML#の公式ドキュメントをご覧下さい.
最新のリリース
版数 | リリース年月日 | パッケージ種別 | ファイル |
---|---|---|---|
3.7.1 | 2021-03-15 | source | smlsharp-3.7.1.tar.gz |
各種OS向けバイナリパッケージリポジトリ
各リポジトリはMassiveThreadライブラリとSML#コンパイラのバイナリおよびソースパッケージを提供します.
詳細はSML#の公式ドキュメントをご覧下さい.
Debian sid:
wget -P /usr/share/keyrings https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/sid/smlsharp-archive-keyring.gpg wget -P /etc/apt/sources.list.d https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/sid/smlsharp.list apt update apt install smlsharp
Debian 10 (buster):
wget -P /usr/share/keyrings https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/buster/smlsharp-archive-keyring.gpg wget -P /etc/apt/sources.list.d https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/buster/smlsharp.list apt update apt install smlsharp
Ubuntu 20.10 (Groovy):
apt-add-repository ppa:smlsharp/ppa apt update apt install smlsharp
Ubuntu 20.04 (Focal):
apt-add-repository ppa:smlsharp/ppa apt update apt install smlsharp
Fedora Rawhide:
rpm -i https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/fedora/smlsharp-release-rawhide-31-0.noarch.rpm dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc
Fedora 33:
rpm -i https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/fedora/smlsharp-release-fedora-31-0.noarch.rpm dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc
CentOS 8:
rpm -i https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/centos/smlsharp-release-centos-8-0.noarch.rpm dnf install --enablerepo=PowerTools smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc
CentOS 7:
yum install epel-release rpm -i https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/centos/smlsharp-release-centos-7-0.noarch.rpm yum install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc
macOS 11 Big Sur (Homebrew):
brew tap smlsharp/smlsharp https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/homebrew brew install smlsharp
過去のリリース
セキュリティー警告: 3.6.0以前のSML#のJSONパーサにコードインジェクションを可能とする脆弱性が見つかりました.FFIとGCの不適切な連携が原因です.3.1.0から3.6.0までのSML#でコンパイルされた,JSON機能(JSON.import, Dynamic.fromJSON, Dynamic.fromJSONFile)を使っている全てのプログラムがこの影響を受けます.3.7.0以降のSML#にアップデートし,JSON機能を使っているプログラムを再コンパイルしてください.
バージョン3.6.0に関する情報はSML# 3.6.0 公式ドキュメントをご覧下さい.
バージョン3.5.0に関する情報はSML# 3.5.0 公式ドキュメントをご覧下さい.
バージョン3.4.0に関する情報はSML# 3.4.0 公式ドキュメントをご覧下さい.
サードパーティ製ソフトウェアパッケージ: 3.3.0,3.4.0にはMassiveThreads 0.99が必要です.MassiveThreadsのWebサイトからソースコードを取得してコンパイルするか,以下の(非公式)パッケージをご利用ください.
バージョン3.0, 3.1, 3.2,3.3シリーズに関する情報はSML# 3.0.0 公式ドキュメントをご覧下さい.
バージョン2シリーズに関する情報はSML# 2.0.0 公式ドキュメントをご覧下さい.
2.0.0に関する補足. Ubuntu向けdebパッケージにはAVX命令を使用しないようにするパッチが当たっています.
バージョン1シリーズに関する情報はSML# 1.0.0 公式ドキュメントをご覧下さい.
0.90シリーズに関する補足. 0.90シリーズは分割コンパイルを行う試験的なコンパイラのみを含みます.対話モードは0.62版をお使い下さい.
0.40〜0.60シリーズに関する補足.この版はテスト目的の実験的なリリースで,0.31版を置き換えることを意図しておりません.また,WIndowsやMac用のバイナリパッケージは用意しておりません.
0.30シリーズに関する捕足.SML#0.20では,SMLFormat,SMLDoc,SMLUnit各ツールおよびLMLMLライブラリの個別配付も行っていましたが,ライセンスおよび版数の管理の観点から,SML#パッケージのみの配付としました.0.30版には,以前個別配付されていたこれらのソースが含まれます.バイナリパッケージに含まれる実行形式ファイルの一部はMLtonでコンパイルされており,以下のライブラリを静的にリンクしています.
- MLtonランタイムライブラリ
- gdtoa
- GNU MP library
Keyword(s):
References:[メニュー] [(3)SML#のインストール]