Does not build with OCaml 4.08.0
ID0002456: This issue was created automatically from Mantis Issue 2456. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002456 | Frama-C | Kernel > Makefile | public | 2019-06-18 | 2019-06-18 |
| Reporter | madroach | Assigned To | bobot | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | amd64 | OS | OpenBSD | OS Version | -current |
| Product Version | Frama-C 18-Argon | Target Version | - | Fixed in Version | - |
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.