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