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.
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.
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