2020-12-05 00:35 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002456Frama-CKernel > Makefilepublic2019-06-18 19:36
Assigned Tobobot 
Platformamd64OSOpenBSDOS Version-current
Product VersionFrama-C 18-Argon 
Target VersionFixed in Version 
Summary0002456: Does not build with OCaml 4.08.0
DescriptionThe 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.
TagsNo tags attached.
Attached Files




virgile (developer)

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.

-Issue History
Date Modified Username Field Change
2019-06-18 16:28 madroach New Issue
2019-06-18 16:28 madroach Status new => assigned
2019-06-18 16:28 madroach Assigned To => bobot
2019-06-18 18:45 virgile Note Added: 0006796
+Issue History