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

5.6 macOS

Homebrewを使ってインストールするのが最も簡単です. Homebrewをセットアップした後, 以下のコマンドを実行し,必要なライブラリとSML#をインストール してください.

brew tap smlsharp/smlsharp
brew install smlsharp

詳細は,以下のとおりです.

  1. 1.

    http://brew.sh/を参照し,Homebrewをセットアップします.

  2. 2.

    SML#開発チームが提供するgitリポジトリをtapし, SML#関連パッケージをHomebrewシステムに加えます.

    brew tap smlsharp/smlsharp

    このリポジトリはMassiveThreadsとSML#コンパイラの formula(パッケージ)およびbottle(バイナリパッケージ)を含みます. ただし,bottleはSML#リリース時の最新のmacOSに対してのみ 提供されます. パッケージの正当性を示すため,このリポジトリの各コミットは SML#開発チームの秘密鍵で署名されています. 署名を検証したい場合は以下のURLあるいは PGP公開鍵サーバーからSML#開発チームの公開鍵を取得してください.

    https://github.com/smlsharp/repos/raw/main/debian/dists/sid/smlsharp-archive-keyring.gpg

    鍵指紋は以下の通りです.

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

  3. 3.

    SML#コンパイラをインストールします.

    brew install smlsharp

    LLVMやMassiveThreadsなども自動でインストールされます. Bottleが用意されているバージョンのmacOSを使用していない場合は, MassiveThreadsとSML#はソースからビルドされるため,このコマンドの 完了には長い時間がかかります.