Packing for dynamic plug-in is not done in current directory
ID0000198: This issue was created automatically from Mantis Issue 198. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000198 | Frama-C | Kernel | public | 2009-07-21 | 2014-02-12 |
| Reporter | rbonichon | 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 | Frama-C Beryllium-20090901 | Fixed in Version | Frama-C Beryllium-20090901 |
Description :
Packing is now done in $(FRAMAC_LIBDIR)/plugins directly when we type "make". This is weird as it was done before (no release id sorry) in current directory. Therefore:
- a simple "make" needs by default "sudo"-like rights to be able to pack in $(FRAMAC_LIBDIR).
- make install now fails in the following way (this is for the mthread plug-in) cp: /usr/local/lib/frama-c/plugins/Mthread.cmxs and /usr/local/lib/frama-c/plugins/Mthread.cmxs are identical (not copied). cp: /usr/local/lib/frama-c/plugins/Mthread.cmo and /usr/local/lib/frama-c/plugins/Mthread.cmo are identical (not copied). gmake: *** [install] Error 1
Steps To Reproduce :
Type make in src/mthread (and also make install if you so wish)