GitLab

ID0000111: This issue was created automatically from Mantis Issue 111. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000111	Frama-C	Kernel	public	2009-06-02	2009-06-23

Reporter	nstouls	Assigned To	signoles	Resolution	fixed
Priority	normal	Severity	block	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C GIT, precise the release id	Target Version	-	Fixed in Version	Frama-C Beryllium-20090601-beta1

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.