Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002456Frama-CKernel > Makefilepublic2019-06-18 16:282019-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

- Relationships

-  Notes
virgile (developer)
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.

- 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

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker