0002456: Does not build with OCaml 4.08.0 - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

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

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

Relationships

Relationships

Notes

~0006796

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.

Notes

Date Modified	Username	Field	Change
Issue History
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

Issue History