Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 168
    • Issues 168
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
    • Model experiments
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #160
Closed
Open
Issue created Jun 18, 2019 by mantis-gitlab-migration@mantis-gitlab-migration

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking