Error while linking lib/plugins/Jessie.cmo

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

---

Id	Project	Category	View	Due Date	Updated
ID0000200	Frama-C	Kernel	public	2009-07-23	2014-02-12

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

Description :

Hi,

With the current SVN version of Frama-C and CVS version of Why, if I try to make a statically linked version of Frama-C with :

./configure --with-jessie-static --with-ltl_to_acsl-static

then the make command ends with :

Linking      bin/toplevel.byte
Error while linking lib/plugins/Jessie.cmo:
Reference to undefined global `Jc'
make: *** [bin/toplevel.byte] Erreur 2

Additional Information :

Versions : Objective Caml toplevel, version 3.10.2 Frama-C svn ID : 5825