Make SATySFi

make-satysfi.sh

#!/bin/bash
set -eux

sudo apt -y update
sudo apt -y install build-essential git m4 unzip curl ruby

yes '' | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)

opam init --auto-setup --comp 4.06.0 --disable-sandboxing
eval $(opam env)
opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git
opam update

git clone https://github.com/gfngfn/SATySFi.git
cd SATySFi

opam pin add -y satysfi .
opam install -y satysfi

mkdir ~/.satysfi
cp -r ~/.opam/4.06.0/share/satysfi/dist ~/.satysfi