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

5.5 CentOS

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

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

  • CentOS 8:

    rpm -i https://github.com/smlsharp/repos/raw/main/centos/smlsharp-release-centos-8-0.noarch.rpm
    dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

  • CentOS 7:

    yum install epel-release
    rpm -i https://github.com/smlsharp/repos/raw/main/centos/smlsharp-release-centos-7-0.noarch.rpm
    yum install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

コマンドは,以下の点を除いてFedoraの場合とほぼ同様です.

  • CentOS 7の場合,epel-releaseパッケージを事前にインストール しておく必要があります.

その他の詳細は5.4節をご覧ください.