Handling error in external plug-in through --enable-external

ID0001069: This issue was created automatically from Mantis Issue 1069. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001069	Frama-C	Kernel > configure	public	2012-01-23	2014-02-12

Reporter	signoles	Assigned To	virgile	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	N/A
Platform	-	OS	-	OS Version	-
Product Version	-	Target Version	-	Fixed in Version	Frama-C Oxygen-20120901

Description :

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.