Dependencies:
- ocaml-bitstring
- ocaml-c2newspeak
- ocaml-zarith
- ocaml-menhir
- ocaml-graph
- ocaml-cppo
- ocaml-ppx-tools
- gmp
Build tools:
- ocaml
- ocaml-findlib
- make
- gcc
Build dependencies and optionally:
- guix (for compcert tests)
- sfiCompCert (for compcert tests)