Strange problem with FRAMAC_LIB from Makefile.dynamic
ID0001305: This issue was created automatically from Mantis Issue 1305. Further discussion may take place here.
|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|
|Product Version||Frama-C Oxygen-20120901||Target Version||-||Fixed in Version||-|
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 !!??