To do.

Currently in order to build the solver on a fresh opam switch I needed the following packages (anecdotal data from Arch x64, assuming you have opam):

opam update                 # Seriously, do that one
opam switch 4.06.1+flambda  # caml.inria.fr/pub/docs/manual-ocaml/flambda.html
eval `opam config env`      # *sight*
opam install ppx_jane core re2 yojson vg cairo2
# Additionally to build other (mainly testing) stuff you need
opam install camlimages menhir

Now try to run make in the root folder, it should build several ocaml binaries.

curl https://sh.rustup.rs -sSf | sh according to https://www.rust-lang.org/

Now running make in the rust_compressor folder should install the right packages and build the binary.

For some reason on OM you need the portable version otherwise you'll face linking errors.

wget https://bitbucket.org/squeaky/portable-pypy/downloads/pypy-5.10.0-linux_x86_64-portable.tar.bz2
tar xf pypy-5.10.0-linux_x86_64-portable.tar.bz2

Then something like:

PYPY="<your path to the bin from in the archive>"
[[ ":$PATH:" != *":$PYPY:"* ]] && PATH="$PYPY:${PATH}"

In you .{bash,zsh,fish}rc, and possibly at the top of whatever script you use to start the project.