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;