Configure fails for GNU Make 4.0
ID0001903: This issue was created automatically from Mantis Issue 1903. Further discussion may take place here.
|Kernel > configure
|Fixed in Version
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