Frama-C Bug Tracking System - Frama-C
View Issue Details
0000528Frama-CKernel > Makefilepublic2010-07-04 19:492014-02-12 16:55
Jonathan-Christofer Demay 
Frama-C Boron-20100401 
Frama-C Carbon-20101201-beta1 
0000528: Makefile.dynamic should always write to $(DESTDIR)
When a dynamic plugin is being built in a sandbox, the install process should always write to $(DESTDIR). This is already the case for everything that go into $(BINDIR), but not into $(PLUGIN_INSTALL_DIR) The attached patch fixes that. However, the part that updates '' is also a problem for the same reason. I haven't figured out yet what to do with it, so as of now it is just disabled.
No tags attached.
related to 0000462closed virgile Makefile.dynamic should not change 
parent of 0000606closed signoles Don't edit files in make install. Instead, just use all plug-ins in the plugin directory 
patch frama-c-20100401-fix_plugin_install.patch (1,317) 2010-07-04 19:49
Issue History
2010-07-04 19:49Jonathan-Christofer DemayNew Issue
2010-07-04 19:49Jonathan-Christofer DemayStatusnew => assigned
2010-07-04 19:49Jonathan-Christofer DemayAssigned To => signoles
2010-07-04 19:49Jonathan-Christofer DemayFile Added: frama-c-20100401-fix_plugin_install.patch
2010-07-05 11:09signolesRelationship addedrelated to 0000462
2010-07-05 11:11signolesNote Added: 0000971
2010-07-05 11:12svnCheckin
2010-07-05 11:12svnStatusassigned => resolved
2010-07-05 11:12svnResolutionopen => fixed
2010-10-14 08:56signolesRelationship addedrelated to 0000606
2010-10-14 09:05signolesRelationship deletedrelated to 0000606
2010-10-14 09:06signolesRelationship addedparent of 0000606
2010-12-10 15:45signolesFixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:36signolesStatusresolved => closed

2010-07-05 11:11   
The part about was already reported (see bts #462). The part about $(DESTDIR) is fixed thank to your patch. Thanks for your report.