Private repositories of SML# are provided for the latest version (when SML# is released) of 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 Rawhide:

  rpm -i https://smlsharp.github.io/repos/fedora/smlsharp-release-fedora-41-1.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://smlsharp.github.io/repos/fedora/smlsharp-release-fedora-41-1.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