Building

Dependencies:

• ocaml-bitstring
• ocaml-c2newspeak
• ocaml-zarith
• ocaml-menhir
• ocaml-graph
• ocaml-cppo
• ocaml-ppx-tools
• gmp

Build tools:

• ocaml
• ocaml-findlib
• make
• gcc

Testing

Build dependencies and optionally:

• guix (for compcert tests)
• sfiCompCert (for compcert tests)