5.2 Debian GNU/Linux
Private repositories of SML# are provided for the latest stable version (when SML# is released) of Debian GNU/Linux and Debian sid. Add one of these repositories to your system, and you can install and update SML# by apt command.
Do the following commmands to set up the SML# compiler.
-
•
Debian sid:
wget -P /etc/apt/keyrings https://smlsharp.github.io/repos/debian/dists/sid/smlsharp-archive-keyring.gpg
wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/sid/smlsharp.sources
apt update
apt install smlsharp -
•
Debian 12 (bookworm):
wget -P /etc/apt/keyrings https://smlsharp.github.io/repos/debian/dists/bookworm/smlsharp-archive-keyring.gpg
wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/bookworm/smlsharp.sources
apt update
apt install smlsharp -
•
Debian 11 (bullseye):
wget -P /usr/share/keyrings https://smlsharp.github.io/repos/debian/dists/bullseye/smlsharp-archive-keyring.gpg
wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/bullseye/smlsharp.list
apt update
apt install smlsharp
We show some more details of installation below (for sid).
-
1.
Download the public key of the SML# development team and put it to the specified position in the system.
wget -P /etc/apt/keyrings https://smlsharp.github.io/repos/debian/dists/sid/smlsharp-archive-keyring.gpg
You can check the fingerprint of the key by the following command:
gpg --with-fingerprint /etc/apt/keyrings/smlsharp-archive-keyring.gpg
Confirm that the fingerprint of the downloaded key is identical to the above fingerprint (those who would like to verify the public key strictly should meet a developer of the SML# compiler and receive the fingerprint of the key). The fingerprint of the key is the following:
DD99 2B50 C9A3 B075 DA04 613A D299 F71F C5C1 D12E
-
2.
Download the description file of the private repository and add it to the system.
wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/sid/smlsharp.sources
-
3.
Obtain the package list from the repository.
apt update
-
4.
Install the SML# compiler. Prerequisite libraries, such as LLVM and MassiveThreads, are installed if needed. SML# tools, such as SMLFormat, are also installed as recommended packages.
apt install smlsharp