SML# Document Version 3.7.1
5 Installing SML#

5.6 macOS

We prepare a Homebrew formula for SML#. After setting up Homebrew, invoke the following commands in order to install SML# and its dependent libraries.

brew tap smlsharp/smlsharp
brew install smlsharp

We show some more details below.

  1. 1.

    Consult http://brew.sh/ and set up Homebrew.

  2. 2.

    Tap the git repository provided by the SML# development team so that the SML#-related pacakges are added to the Homebrew system.

    brew tap smlsharp/smlsharp

    This repository includes the formulae (packages) and bottles (binary packages) of the MassiveThread library and SML# compiler. Bottles are provided only for the latest version of macOS when SML# is released. For validity of packages, each commit in this repository is signed by the private key of the SML# development team. To verify the signature, fetch the public key of the SML# development team from the following URL or some PGP public key servers:

    https://github.com/smlsharp/repos/raw/main/debian/dists/sid/smlsharp-archive-keyring.gpg

    The fingerprint of the key is the following:

    DD99 2B50 C9A3 B075 DA04 613A D299 F71F C5C1 D12E

  3. 3.

    Install the SML# compiler by the following command.

    brew install smlsharp

    Prerequisite libraries, such as LLVM and MassiveThreads, are also automatically installed. If you use macOS for which the bottles are not provided, MassiveThreads and SML# are built from source and therefore the command takes a long time.