Configure fails for GNU Make 4.0
ID0001903: This issue was created automatically from Mantis Issue 1903. Further discussion may take place here.
|ID0001903||Frama-C||Kernel > configure||public||2014-07-30||2014-08-04|
|Platform||-||OS||Gnu/linux Debian||OS Version||Debian 3.14.12-1|
|Product Version||Frama-C Fluorine-20130601||Target Version||-||Fixed in Version||Frama-C Neon-20140301|
First I should probably say that I use opam to install frama-C. The configure file test whether the Make version is greater than 3.81 but it check that major version is >= 3 (which is ok) and that minor version is >= 81, which is not the case for the version 4.0
Additional Information :
test at line 2630 of the configure file should be modified.
Steps To Reproduce :
./configure in an environment with version 4.0 of GNU Make