| 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 | |
|
Relationships 
Relationships