Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000462Frama-CKernel > Makefilepublic2010-04-27 15:542010-12-17 19:36
Assigned Tovirgile 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000462: Makefile.dynamic should not change
Description I'm not sure whether this is a bug or a feature, but in my understanding, installing an external plugin for Frama-C should not modify the files installed by Frama-C itself. In this specific case, when the Jessie plugin wants to install, 'Makefile.dynamic' tells to append a line in '/usr/share/frama-c/'. If the user doesn't have write access on '', the installation fails. Specifically, this would have lead to a build failure on any Debian build daemon. For now, I've desactivated this "feature" in 'Makefile.dynamic' using the attached patch. '' is used only by the configure scripts of aorai and security_slicing. IMHO, they should rely on the existence of plugin files rather than some text file with (potentially) random content.
TagsNo tags attached.
Attached Filespatch file icon 0005-Don-t-modify-system-files.patch [^] (945 bytes) 2010-04-27 15:54 [Show Content]

- Relationships
parent of 0000606closedsignoles Don't edit files in make install. Instead, just use all plug-ins in the plugin directory 
related to 0000528closedsignoles Makefile.dynamic should always write to $(DESTDIR) 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2010-04-27 15:54 mehdi New Issue
2010-04-27 15:54 mehdi Status new => assigned
2010-04-27 15:54 mehdi Assigned To => signoles
2010-04-27 15:54 mehdi File Added: 0005-Don-t-modify-system-files.patch
2010-04-27 16:00 signoles Assigned To signoles => virgile
2010-07-05 11:09 signoles Relationship added related to 0000528
2010-08-18 18:38 svn Checkin
2010-08-18 18:38 svn Status assigned => resolved
2010-08-18 18:38 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 - 2020 MantisBT Team
Powered by Mantis Bugtracker