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 !!?? ## Attachments - [Make2](/uploads/f5577634f761478c2eca2239e6477ad8/Make2)