Static linking of the jessie plugin fails when using a non-local Jc
ID0000227: This issue was created automatically from Mantis Issue 227. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000227 | Frama-C | Plug-in > jessie | public | 2009-09-01 | 2009-09-23 |
| Reporter | mehdi | Assigned To | signoles | Resolution | won't fix |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090601-beta1 | Target Version | - | Fixed in Version | Frama-C Beryllium-20090902 |
Description :
Hi,
When I try to link frama-c statically with the Jessie plugin (with --with-jessie-static), the compilation fails with the following message:
File "none", line 1, characters 0-1: Error: No implementations provided for the following modules: Jc referenced from lib/plugins/Jessie.cmx make[2]: *** [bin/toplevel.opt] Erreur 2
When using a non-local Jc, you need to add jc.cm{x,o} when linking.
Please find attached a patch that fixes this issue.
Kind regards,