SML# Document Version 3.7.1
5 Installing SML#

5.3 Ubuntu

Private repositories are provided for the latest release and latest TLS release (when SML# is released) of Ubuntu through PPA (Personal Package Archives for Ubuntu). Add one of these repositories to your system, and you can install and update the SML# compiler by the apt command.

Do the following commmands to set up the SML# compiler.

  • Ubuntu 20.10 LTS (Groovy):

    add-apt-repository ppa:smlsharp/ppa
    apt update
    apt install smlsharp

  • Ubuntu 20.04 LTS (Focal):

    add-apt-repository ppa:smlsharp/ppa
    apt update
    apt install smlsharp

add-apt-repository adds the private repository to the system. The apt commands are similar to those for Debian. See Section 5.2 for details.