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.