Commit b0e20a5e authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[ref-config] Less differences between gcc<10 and gcc==10

parent 695da98a
......@@ -6,7 +6,7 @@ compiling Frama-C+dev, on a machine with gcc <= 9[^gcc-10]
- 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
- ocamlfind.1.8.1
- ocamlgraph.1.8.8
- ppx_deriving_yojson.3.5.2 (for mdr, optional)
- why3.1.3.1
......@@ -17,5 +17,4 @@ compiling Frama-C+dev, on a machine with gcc <= 9[^gcc-10]
[^gcc-10]: As mentioned in this [OCaml PR](https://github.com/ocaml/ocaml/issues/9144)
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)
linked against gcc-10.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment