Frama-C Bug Tracking System - Frama-C
View Issue Details
0001069Frama-CKernel > configurepublic2012-01-23 16:372014-02-12 16:59
signoles 
virgile 
normalminorN/A
closedfixed 
 
Frama-C Oxygen-20120901 
0001069: Handling error in external plug-in through --enable-external
Running './configure --enable-external=my_plugin_path' does not fail if the configure of the external plug-in fails. Worse the detection of this plug-in succeeds, so 'make' will try to compile it.
No tags attached.
Issue History
2012-01-23 16:37signolesNew Issue
2012-01-23 16:37signolesStatusnew => assigned
2012-01-23 16:37signolesAssigned To => virgile
2012-02-21 18:49svnCheckin
2012-02-21 18:49svnStatusassigned => resolved
2012-02-21 18:49svnResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2014-02-12 16:59Note Added: 0004721
2014-02-12 16:59Statusclosed => resolved

Notes
(0004721)
   
2014-02-12 16:59   
Fix committed to stable/neon branch.