Skip to content
Snippets Groups Projects
reference-configuration.md 436 B

The following set of packages is known to be a working configuration for compiling Frama-C+dev.

  • OCaml 4.13.1
  • alt-ergo-free.2.2.0 (for wp, optional)
  • apron.v0.9.13 (for eva, optional)
  • dune.3.4.1
  • dune-site.3.4.1
  • lablgtk3.3.1.2
  • lablgtk3-sourceview3.3.1.2
  • mlmpfr.4.1.0+bugfix2 (for eva, optional)
  • ocamlfind.1.9.5
  • ocamlgraph.2.0.0
  • ppx_deriving_yojson.3.7.0
  • ppx_import.1.10.0
  • why3.1.6.0
  • yojson.2.0.2
  • zarith.1.12