Skip to content

Instantly share code, notes, and snippets.

@zr-tex8r

zr-tex8r/make-satysfi.sh

Last active September 5, 2019 10:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save zr-tex8r/0ab0d24255ecf631692c1f0cbc5ca026 to your computer and use it in GitHub Desktop.
Save zr-tex8r/0ab0d24255ecf631692c1f0cbc5ca026 to your computer and use it in GitHub Desktop.
Download ZIP
Make SATySFi
Raw
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment