cinstr Compile curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh | sh /dev/stdin opam init -y opam switch -y 4.05.0 opam install -y oasis cil camlp4 oasis setup make