View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
ID | Project | Category | View Status | Date Submitted | Last Update |
0000198 | Frama-C | Kernel | public | 2009-07-21 15:59 | 2014-02-12 16:56 |
|
Reporter | rbonichon | |
Assigned To | signoles | |
Priority | normal | Severity | minor | Reproducibility | always |
Status | closed | Resolution | fixed | |
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 | |
|
Summary | 0000198: Packing for dynamic plug-in is not done in current directory |
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) |
Tags | No tags attached. |
|
Attached Files | |
|