Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
Make SATySFi
set -eux
sudo apt -y update
sudo apt -y install build-essential git m4 unzip curl ruby
yes '' | sh <(curl -sL
opam init --auto-setup --comp 4.06.0 --disable-sandboxing
eval $(opam env)
opam repository add satysfi-external
opam update
git clone
cd SATySFi
opam pin add -y satysfi .
opam install -y satysfi
mkdir ~/.satysfi
cp -r ~/.opam/4.06.0/share/satysfi/dist ~/.satysfi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment