SML#のダウンロード

SML#コンパイラおよびSML#用プログラム開発ツール(プログラミングツール,ライブラリ,その他のリソース)は,BSDスタイルのSMLSharpライセンス の下で配付されているオープンソースソフトウェアです.

SML#の最新版は3.7.1です.セットアップ方法等の詳細はSML#の公式ドキュメントをご覧下さい.

最新のリリース

版数リリース年月日パッケージ種別ファイル
3.7.12021-03-15sourcesmlsharp-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でコンパイルされており,以下のライブラリを静的にリンクしています.

版数リリース年月日パッケージ種別ファイル
3.7.02021-01-04sourcesmlsharp-3.7.0.tar.gz
3.6.02020-05-29sourcesmlsharp-3.6.0.tar.gz
3.5.02019-12-24sourcesmlsharp-3.5.0.tar.gz
3.4.02017-08-31sourcesmlsharp-3.4.0.tar.gz
Homebrewsmlsharp.rb
Ubuntu 16.04 amd64smlsharp_3.4.0-1_amd64.deb
Debian source packagesmlsharp_3.4.0-1.dsc
3.3.02017-06-20sourcesmlsharp-3.3.0.tar.gz
Homebrewsmlsharp.rb
Ubuntu 16.04 amd64smlsharp_3.3.0-1_amd64.deb
Debian source packagesmlsharp_3.3.0-1.dsc
3.2.02016-09-16sourcesmlsharp-3.2.0.tar.gz
Homebrewsmlsharp.rb
Ubuntu 16.04 amd64smlsharp_3.2.0-1_amd64.deb
Debian source packagesmlsharp_3.2.0-1.dsc
3.1.12016-07-15sourcesmlsharp-3.1.1.tar.gz
Homebrewsmlsharp.rb
Ubuntu 16.04 amd64smlsharp_3.1.1-1_amd64.deb
Debian source packagesmlsharp_3.1.1-1.dsc
3.1.02016-05-26sourcesmlsharp-3.1.0.tar.gz
Homebrewsmlsharp.rb
Ubuntu 16.04 amd64smlsharp_3.1.0-1_amd64.deb
Debian source packagesmlsharp_3.1.0-1.dsc
3.0.12016-04-04sourcesmlsharp-3.0.1.tar.gz
Homebrewsmlsharp.rb
Ubuntu 16.04 amd64smlsharp_3.0.1-1_amd64.deb
Debian source packagesmlsharp_3.0.1-1.dsc
3.0.02016-03-31sourcesmlsharp-3.0.0.tar.gz
Homebrewsmlsharp.rb
Ubuntu 16.04 amd64smlsharp_3.0.0-1_amd64.deb
Debian source packagesmlsharp_3.0.0-1.dsc
2.0.02014-04-04sourcesmlsharp-2.0.0.tar.gz
MacPortssmlsharp-macports.zip
Ubuntu i386smlsharp-2.0.0-2_ubuntu-i386.deb
Ubuntu amd64smlsharp-2.0.0-2_ubuntu-amd64.deb
1.2.02012-11-14sourcesmlsharp-1.2.0.tar.gz
MacPortssmlsharp-macports.zip
Ubuntu i386smlsharp-1.2.0-1_ubuntu-i386.deb
Ubuntu amd64smlsharp-1.2.0-1_ubuntu-amd64.deb
mingw32smlsharp-1.2.0-1-mingw32-bin.tar.lzma
1.1.02012-08-08sourcesmlsharp-1.1.0.tar.gz
MacPortssmlsharp-macports.zip
Debian i386smlsharp-1.1.0-1_debian-i386.deb
Debian amd64smlsharp-1.1.0-1_debian-amd64.deb
Ubuntu i386smlsharp-1.1.0-1_ubuntu-i386.deb
Ubuntu amd64smlsharp-1.1.0-1_ubuntu-amd64.deb
mingw32smlsharp-1.1.0-1-mingw32-bin.tar.lzma
1.0.32012-06-25sourcesmlsharp-1.0.3.tar.gz
MacPortssmlsharp-macports.zip
Debian i386smlsharp-1.0.3-1_debian-i386.deb
Debian amd64smlsharp-1.0.3-1_debian-amd64.deb
Ubuntu i386smlsharp-1.0.3-1_ubuntu-i386.deb
Ubuntu amd64smlsharp-1.0.3-1_ubuntu-amd64.deb
mingw32smlsharp-1.0.3-1-mingw32-bin.tar.lzma
1.0.22012-05-14sourcesmlsharp-1.0.2.tar.gz
MacPortssmlsharp-macports.zip
Debian i386smlsharp-1.0.2-1_debian-i386.deb
Debian amd64smlsharp-1.0.2-1_debian-amd64.deb
Ubuntu i386smlsharp-1.0.2-1_ubuntu-i386.deb
Ubuntu amd64smlsharp-1.0.2-1_ubuntu-amd64.deb
mingw32smlsharp-1.0.2-1-mingw32-bin.tar.lzma
1.0.12012-04-24sourcesmlsharp-1.0.1.tar.gz
MacPortssmlsharp-macports.zip
Debian i386smlsharp-1.0.1-1_debian-i386.deb
Debian amd64smlsharp-1.0.1-1_debian-amd64.deb
Ubuntu i386smlsharp-1.0.1-1_ubuntu-i386.deb
Ubuntu amd64smlsharp-1.0.1-1_ubuntu-amd64.deb
mingw32smlsharp-1.0.1-1-mingw32-bin.tar.lzma
1.0.02012年04月06日ソースsmlsharp-1.0.0.tar.gz
MacPortssmlsharp-macports.zip
MinGWsmlsharp-1.0.0-1-mingw32-bin.tar.lzma
0.902011年09月14日ソースsmlsharp-0.90.tar.gz
0.622010年12月17日ソースsmlsharp-0.62.tar.gz
0.612010年11月26日ソースsmlsharp-0.61.tar.gz
0.602010年11月12日ソースsmlsharp-0.60.tar.gz
0.582010年10月16日ソースsmlsharp-0.58.tar.gz
0.572010年10月1日ソースsmlsharp-0.57.tar.gz
0.562010年9月17日ソースsmlsharp-0.56.tar.gz
0.552010年9月3日ソースsmlsharp-0.55.tar.gz
0.542010年8月20日ソースsmlsharp-0.54.tar.gz
0.532010年8月6日ソースsmlsharp-0.53.tar.gz
0.522010年7月23日ソースsmlsharp-0.52.tar.gz
0.512010年7月9日ソースsmlsharp-0.51.tar.gz
0.502010年6月25日ソースsmlsharp-0.50.tar.gz
0.432010年6月11日ソースsmlsharp-0.43.tar.gz
0.422010年5月28日ソースsmlsharp-0.42.tar.gz
0.412010年5月14日ソースsmlsharp-0.41.tar.gz
0.402010年4月30日ソースsmlsharp-0.40.tar.gz
0.312007年11月7日ソースsmlsharp-0.31.tar.gz
Windowsバイナリsmlsharp-0.31-mingw.exe
Mac OS Xバイナリsmlsharp-0.31-Universal-Installer.dmg
0.302007年7月4日ソースsmlsharp-0.30.tar.gz
Windowsバイナリsmlsharp-0.30-mingw.exe
Mac OS Xバイナリsmlsharp-0.30-Universal-Installer.dmg
0.202007年3月30日ソースsmlsharp-0.20.tar.gz
SML# Windowsバイナリsmlsharp-0.20-mingw.exe
SM# Mac OS Xバイナリsmlsharp-0.20-Universal-Installer.dmg
SMLFormat Windows バイナリSMLFormat-0.20-mingw.exe
SMLDoc Windows バイナリSMLDoc-0.20-mingw.exe
0.102006年3月21日ソースsmlsharp-0.10.tar.gz
Last modified:2021/03/15 16:55:28
Keyword(s):
References:[メニュー] [(3)SML#のインストール]