make version 4.0 is rejected

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

---

Id	Project	Category	View	Due Date	Updated
ID0001574	Frama-C	Kernel > configure	public	2013-11-28	2014-08-04

Reporter	jowi24	Assigned To	virgile	Resolution	fixed
Priority	normal	Severity	major	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Fluorine-20130601	Target Version	-	Fixed in Version	Frama-C Neon-20140301

Description :

$./configure configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for make... make make version is GNU Make 4.0: configure: error: unsupported version; GNU Make version 3.81 or higher is required.

Additional Information :

the following test in configure is buggy:

test "MAKE_DISTRIB" != GNU -o "MAKE_MAJOR" -lt 3 -o "$MAKE_MINOR" -lt 81;