0000111: Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present. - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000111

Frama-C

Kernel

public

2009-06-02 11:25

2009-06-23 18:03

Reporter

nstouls

Assigned To

signoles

Priority

normal

Severity

block

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C GIT, precise the release id

Target Version

Fixed in Version

Frama-C Beryllium-20090601-beta1

Summary

0000111: Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present.

Description

With ocamlc 3.10.2
If the configure script is launched with following options :

--with-jessie-static --with-ltl_to_acsl-static

then this error occurs during compilation:

Ocamlc src/lib/dynlink_common_interface.cmo
The implementation src/lib/dynlink_common_interface.ml
does not match the interface src/lib/dynlink_common_interface.cmi:
The field `is_native' is required but not provided
make: *** [src/lib/dynlink_common_interface.cmo] Erreur 2

Removing configure options resolves the problem.

Tags

No tags attached.

Relationships

Notes
(0000126) signoles (manager) 2009-06-02 12:05	Should be fixed now but difficult to test with ocaml 3.11. Could you confirm that this bug is resolved?

(0000127) nstouls (reporter) 2009-06-02 12:39	It works fine with 3.10.2. Thanks.

Issue History
Date Modified	Username	Field	Change
2009-06-02 11:25	nstouls	New Issue
2009-06-02 12:04	signoles	Status	new => assigned
2009-06-02 12:04	signoles	Assigned To	=> signoles
2009-06-02 12:04	svn	Checkin
2009-06-02 12:04	svn	Status	assigned => resolved
2009-06-02 12:04	svn	Resolution	open => fixed
2009-06-02 12:05	signoles	Note Added: 0000126
2009-06-02 12:07	signoles	Status	resolved => feedback
2009-06-02 12:07	signoles	Resolution	fixed => reopened
2009-06-02 12:39	nstouls	Note Added: 0000127
2009-06-02 12:43	signoles	Status	feedback => resolved
2009-06-02 12:43	signoles	Resolution	reopened => fixed
2009-06-23 18:02	signoles	Status	resolved => closed
2009-06-23 18:03	signoles	Fixed in Version	=> Frama-C Beryllium beta-1

Copyright © 2000 - 2018 MantisBT Team