Bunch of general information

To do.

Build solver

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.

Build rust compressor

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.

Pypy on OM

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.