|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|
|Assigned To||signoles|| |
|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.
- 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.|