#!/bin/sh

opam init --compiler 4.14.1 --disable-sandboxing --shell-setup
eval $(opam env)
opam install frama-c z3 -y
why3 config detect
opam clean