Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • stable/vanadium
  • stable/titanium-backport
  • stable/titanium
  • stable/scandium
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
Blame Permalink
reference-configuration.md 894 B

The following set of packages is known to be a working configuration for compiling Frama-C+dev, on a machine with gcc <= 91

  • OCaml 4.08.1
  • alt-ergo.2.0.0 (for wp, optional)
  • apron.v0.9.12 (for eva, optional)
  • lablgtk.2.18.11 | lablgtk3.3.1.1 + lablgtk3-sourceview3.3.1.1
  • mlgmpidl.1.2.12 (for eva, optional)
  • ocamlfind.1.8.0
  • ocamlgraph.1.8.8
  • ppx_deriving_yojson.3.5.2 (for mdr, optional)
  • why3.1.3.1
  • yojson.1.7.0
  • zarith.1.9.1
  • zmq.5.1.3 (for server, optional)

  1. As mentioned in this OCaml PR gcc 10 changed its default linking conventions to make them more stringent, resulting in various linking issues. In particular, only OCaml 4.10 can be linked against gcc-10. With respect to the list above, this also means using ocamlfind.1.8.1 and the development version of lablgtk (https://github.com/garrigue/lablgtk) ↩