2022年5月1日日曜日

Debian bullseye に SATySFi をインストールする

後々 Dockerfile に落とし込んで Che で実行するのを見越して、 /opt 下にインストールする。

コンテナ起動

docker run -it --rm --name satysfi debian:bullseye-slim

必須パッケージのインストール

apt update
apt install -y \
    bzip2 \
    curl \
    gcc \
    git \
    make \
    patch \
    rsync \
    unzip \
    wget

OPAM インストール

mkdir -p /opt/opam/bin
curl -L "https://github.com/ocaml/opam/releases/download/2.1.2/opam-2.1.2-$(uname -m)-linux" -o /opt/opam/bin/opam
chmod +x /opt/opam/bin/opam
export PATH=$PATH:/opt/opam/bin

ユーザー作成

useradd -m -s /bin/bash satysfi
su - satysfi
export PATH=$PATH:/opt/opam/bin

OPAM 設定

opam init -y --disable-sandboxing --comp 4.10.0

eval $(opam env)

opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git
opam update

SATySFi ビルド

# ソース取得
git clone https://github.com/gfngfn/SATySFi.git
cd SATySFi

# ビルド
opam pin add -y satysfi .
opam install -y satysfi

# フォントのダウンロード・配置
bash ./download-fonts.sh
bash ./install-libs.sh

cd ..
rm -rf SATySFi

参考資料

0 件のコメント:

コメントを投稿