プログラミング言語SML#解説 3.7.1版
5 SML#のインストール

5.2 Debian GNU/Linux

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