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.
|Product Version||Frama-C GIT, precise the release id||Target Version||Frama-C Beryllium-20090901||Fixed in Version||Frama-C Beryllium-20090901|
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)