Frama-C Bug Tracking System - Frama-C
View Issue Details
0002456Frama-CKernel > Makefilepublic2019-06-18 16:282019-06-18 19:36
Frama-C 18-Argon 
0002456: Does not build with OCaml 4.08.0
The build fails with OCaml 4.08.0: Packing /usr/obj/pobj/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.cmo File "_none_", line 1: Error: The implementation (obtained by packing) does not match the interface /usr/obj/pobj/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.mli: ... In module Cint: Values do not match: val is_cint_simplifier : Conditions/1.simplifier is not included in val is_cint_simplifier : Conditions/2.simplifier File "src/plugins/wp/Cint.mli", line 80, characters 0-45: Expected declaration File "src/plugins/wp/Cint.mli", line 80, characters 0-45: Actual declaration File "_none_", line 1: Definition of module Conditions/1 File "_none_", line 1: Definition of module Conditions/2 gmake: *** [src/plugins/wp/.Makefile.plugin.generated:580: /usr/obj/pobj/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.cmo] Error 2 I suspect the problem lies in there being multiple identical Wp.mli files, each declaring the same Conditions module, which OCaml 4.08.0 now does not view as identical.
No tags attached.
Issue History
2019-06-18 16:28madroachNew Issue
2019-06-18 16:28madroachStatusnew => assigned
2019-06-18 16:28madroachAssigned To => bobot
2019-06-18 18:45virgileNote Added: 0006796

2019-06-18 18:45   
19.0-beta2 ( is compatible with OCaml 4.08.0. If nothing serious occurs, we plan to make the final 19.0 release by the end of the week.