SML#リリース時点で最新リリースのDebian GNU/Linuxおよび Debian sidに対してプライベートリポジトリを用意しています． このリポジトリをシステムに追加することで，aptコマンドで SML#コンパイラのインストールおよびアップデートを行うことができます．

以下のコマンドでインストールできます．

• •

  Debian sid:

  wget -P /usr/share/keyrings https://github.com/smlsharp/repos/raw/main/debian/dists/sid/smlsharp-archive-keyring.gpg
  wget -P /etc/apt/sources.list.d https://github.com/smlsharp/repos/raw/main/debian/dists/sid/smlsharp.list
  apt update
  apt install smlsharp

• •

  Debian 10 (buster):

  wget -P /usr/share/keyrings https://github.com/smlsharp/repos/raw/main/debian/dists/buster/smlsharp-archive-keyring.gpg
  wget -P /etc/apt/sources.list.d https://github.com/smlsharp/repos/raw/main/debian/dists/buster/smlsharp.list
  apt update
  apt install smlsharp

詳細は，以下のとおりです（sidの場合）．

1. 1.

   SML#開発チームの公開鍵をダウンロードしシステムの所定の 位置に置きます．

   wget -P /usr/share/keyrings https://github.com/smlsharp/repos/raw/main/debian/dists/sid/smlsharp-archive-keyring.gpg

   以下のコマンドで鍵指紋を確認できます．

   gpg --with-fingerprint /usr/share/keyrings/smlsharp-archive-keyring.gpg

   ダウンロードした鍵の指紋が上記指紋と一致することを確認してください （より厳密に鍵の正当性を確認したい場合は，SML#開発者本人に 直接会って鍵指紋を受け取ってください）． 鍵指紋は以下の通りです．

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

2. 2.

   プライベートリポジトリの記述ファイルをダウンロードし， システムに追加します．

   wget -P /etc/apt/sources.list.d https://github.com/smlsharp/repos/raw/main/debian/dists/sid/smlsharp.list

3. 3.

   プライベートリポジトリからパッケージ一覧を取得します．

   apt update

4. 4.

   SML#コンパイラをインストールします． LLVMやMassiveThreadsなどの依存するライブラリも必要に応じて インストールされます． SMLFormatなどのツールもおすすめパッケージとしてインストールされます．

   apt install smlsharp