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

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.

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