SML# Document Version 3.7.1
5 Installing SML#

5.4 Fedora

Private repositories of SML# are provided for the latest version (when SML# is released) of Fedora and Fedora Rawhide. Add one of these repositories to your system, and you can install and update SML# by dnf command.

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

  • Fedora:

    rpm -i https://github.com/smlsharp/repos/raw/main/fedora/smlsharp-release-fedora-31-0.noarch.rpm
    dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

  • Fedora Rawhide:

    rpm -i https://github.com/smlsharp/repos/raw/main/fedora/smlsharp-release-rawhide-31-0.noarch.rpm
    dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

We show some more details of installation below (for Rawhide).

  1. 1.

    Download and install the RPM package that includes the public key of the SML# development team and configuration file of the private repository.

    rpm -i https://github.com/smlsharp/repos/raw/main/fedora/smlsharp-release-fedora-31-0.noarch.rpm

  2. 2.

    Install the SML# compiler and its related tools.

    dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

    In the middle of dnf command execution, the command asks you several times for importing SML#’s public key. Check the fingerprint of the key and permit to import it. The fingerprint is given as follows:

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