Frama-C Bug Tracking System - Frama-C
View Issue Details
0000528Frama-CKernel > Makefilepublic2010-07-04 19:492014-02-12 16:55
Jonathan-Christofer Demay 
signoles 
normalminoralways
closedfixed 
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 'known_plugins.ac' 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 known_plugins.ac 
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
https://bts.frama-c.com/file_download.php?file_id=104&type=bug
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

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