Strange problem with FRAMAC_LIB from Makefile.dynamic
ID0001305: This issue was created automatically from Mantis Issue 1305. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001305 | Frama-C | Kernel > Makefile | public | 2012-11-15 | 2012-11-15 |
| Reporter | Anne | Assigned To | signoles | Resolution | not fixable |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Oxygen-20120901 | Target Version | - | Fixed in Version | - |
Description :
Sorry for the imprecise title, but I didn't manage to find what the real problem is...
With the attached very simplified Makefile: $ make -fMake2 debugKo gives: [kernel] warning: cannot load plug-in `Report' (file not found). The exact failure is: /home/anne/Project/"/usr/local/lib/frama-c"/plugins/Report.cmxs.
Of course, the problem is there with any plugin (I just chose Report as an example so that you can try it).
After many tests, I found a workaround by setting FRAMAC_LIB (to the same value that it has before !!!), and then: $ make -fMake2 debugOk but I really have no idea why it works !!??