Frama-C Bug Tracking System - Frama-C
View Issue Details
0002456Frama-CKernel > Makefilepublic2019-06-18 16:282019-06-18 19:36
madroach 
bobot 
normalminoralways
assignedopen 
amd64OpenBSD-current
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

Notes
(0006796)
virgile   
2019-06-18 18:45   
19.0-beta2 (https://github.com/Frama-C/Frama-C-snapshot/wiki/Frama-C-19.0-beta2-Potassium [^]) 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.