reference-configuration.md

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)
• dune.3.5.0
• dune-configurator.3.5.0
• dune-site.3.5.0
• lablgtk3.3.1.3
• lablgtk3-sourceview3.3.1.3
• menhir.20211128
• ocamlfind.1.9.6
• ocamlgraph.2.0.0
• ppx_deriving_yaml.0.2.1
• ppx_deriving_yojson.3.7.0
• ppx_import.1.10.0
• unionFind.20220122
• why3.1.6.0
• yojson.2.0.2
• zarith.1.12