Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000528Frama-CKernel > Makefilepublic2010-07-04 19:492014-02-12 16:55
ReporterJonathan-Christofer Demay 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000528: Makefile.dynamic should always write to $(DESTDIR)
DescriptionWhen 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.
TagsNo tags attached.
Attached Filespatch file icon frama-c-20100401-fix_plugin_install.patch [^] (1,317 bytes) 2010-07-04 19:49 [Show Content]

- Relationships
related to 0000462closedvirgile Makefile.dynamic should not change known_plugins.ac 
parent of 0000606closedsignoles Don't edit files in make install. Instead, just use all plug-ins in the plugin directory 

-  Notes
(0000971)
signoles (manager)
2010-07-05 11:11

The part about know_plugins.ac was already reported (see bts 0000462).
The part about $(DESTDIR) is fixed thank to your patch.

Thanks for your report.

- Issue History
Date Modified Username Field Change
2010-07-04 19:49 Jonathan-Christofer Demay New Issue
2010-07-04 19:49 Jonathan-Christofer Demay Status new => assigned
2010-07-04 19:49 Jonathan-Christofer Demay Assigned To => signoles
2010-07-04 19:49 Jonathan-Christofer Demay File Added: frama-c-20100401-fix_plugin_install.patch
2010-07-05 11:09 signoles Relationship added related to 0000462
2010-07-05 11:11 signoles Note Added: 0000971
2010-07-05 11:12 svn Checkin
2010-07-05 11:12 svn Status assigned => resolved
2010-07-05 11:12 svn Resolution open => fixed
2010-10-14 08:56 signoles Relationship added related to 0000606
2010-10-14 09:05 signoles Relationship deleted related to 0000606
2010-10-14 09:06 signoles Relationship added parent of 0000606
2010-12-10 15:45 signoles Fixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:36 signoles Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker