The SML# compiler is an open source software distributed under the BSD-style SML# license.

The latest version is 3.6.0.

See SML# document for installation and other details.

The latest release

version release date package format file 3.6.0 2020-05-29 source smlsharp-3.6.0.tar.gz

Binary package repositories for verious OSes

Each repository provides the binary and source packages of the MassiveThreads library and SML# compiler.

See SML# document for details.

Debian sid:

wget -O- https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/sid/signing-key-pub.asc | apt-key add - wget -O/etc/apt/sources.list.d/smlsharp.list https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/sid/smlsharp.list apt update apt install smlsharp

Debian 10 (buster):

wget -O- https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/buster/signing-key-pub.asc | apt-key add - wget -O/etc/apt/sources.list.d/smlsharp.list https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/debian/dists/buster/smlsharp.list apt update apt install smlsharp

Ubuntu 20.04 (Focal):

wget -O- https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/ubuntu/dists/eoan/signing-key-pub.asc | apt-key add - wget -O/etc/apt/sources.list.d/smlsharp.list https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/ubuntu/dists/focal/smlsharp.list apt update apt install smlsharp

Ubuntu 18.04 (Bionic):

wget -O- https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/ubuntu/dists/bionic/signing-key-pub.asc | apt-key add - wget -O/etc/apt/sources.list.d/smlsharp.list https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/ubuntu/dists/bionic/smlsharp.list 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 32:

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 Catalina (Homebrew):

brew tap --full smlsharp/smlsharp https://www.pllab.riec.tohoku.ac.jp/smlsharp/download/homebrew brew install smlsharp

Past releases

See SML# document for details of SML# version 3.4 series.

Third-party software packages: SML# 3.3.0 and 3.4.0 require MassiveThreads 0.99. Download its source code from MassiveThreads' website or use the following (unofficial) packages.

See SML# document for details of SML# version 3.0, 3.1, 3.2, and 3.3 series.

See SML# document for details of SML# version 2 series.

Note on SML# version 2.0.0: AVX instructions are disabled by default in Ubuntu packages.

See SML# document for details of SML# version 1 series.

Note on SML# version 0.90: This release is an experimental separate compilation system and does not include interactive mode. Use version 0.62 for interactive mode.

Note on SML# Version 0.40 series and above: This is an experimental release for testing and is not intended to replace version 0.31. Due to this experimental nature, this version does not include binary package for Windows and Mac. There is a step-by-step instruction how to build SML# 0.40 and later.

Note on SML# version 0.30 series: In SML# version 0.20, SMLFormat, SMLDoc, SMLUnit tools and LMLML library are also distributed separately. For the purpose of license and version management, in version 0.30 and later, we only distribute the SML# system containing all the tools. The 0.20 source files are included in the SML# source tar file version 0.20. Executable files in some of the binary packages are compiled by MLton and statically linked with the following libraries.