View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0002456 | Frama-C | Kernel > Makefile | public | 2019-06-18 16:28 | 2019-06-18 19:36 | ||||||||
Reporter | madroach | ||||||||||||
Assigned To | bobot | ||||||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||||||
Status | assigned | Resolution | open | ||||||||||
Platform | amd64 | OS | OpenBSD | OS Version | -current | ||||||||
Product Version | Frama-C 18-Argon | ||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0002456: Does not build with OCaml 4.08.0 | ||||||||||||
Description | 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. | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|
![]() |
|
virgile (developer) 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. |