Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Make SATySFi
#!/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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.