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

5.4 Fedora

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

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

  • 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

詳細は,以下のとおりです(Rawhideの場合).

  1. 1.

    SML#開発チームの公開鍵およびプライベートリポジトリの設定 ファイルを含むRPMパッケージをダウンロードしインストールします.

    rpm -i https://github.com/smlsharp/repos/raw/main/fedora/smlsharp-release-fedora-31-0.noarch.rpm

  2. 2.

    SML#コンパイラおよび周辺ツールをインストールします.

    dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

    dnfコマンドの実行中,SML#開発チームの公開鍵を インポートすることについて何度か聞かれます. 鍵指紋を確認の上,許可してください. 鍵指紋は以下の通りです.

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