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.