If GNU make 3.81 is not found then build it as a companion tool.
Signed-off-by: Ray Donnelly <mingw.android@gmail.com>
[yann.morin.1998@free.fr: add message "checking for make 3.81"]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <8b8bf6998f3d239f6c74.1392920971@advancedsearch.virginmedia.com>
Patchwork-Id: 322302
9 # Don't remove next line
10 # CT_INSERT_VERSION_BELOW
15 select CLOOG_0_18_or_later
20 select CLOOG_0_18_or_later
26 config CLOOG_V_0_15_11
31 config CLOOG_V_0_15_10
58 # Don't remove next line
59 # CT_INSERT_VERSION_STRING_BELOW
60 default "0.18.1" if CLOOG_V_0_18_1
61 default "0.18.0" if CLOOG_V_0_18_0
62 default "0.15.11" if CLOOG_V_0_15_11
63 default "0.15.10" if CLOOG_V_0_15_10
64 default "0.15.9" if CLOOG_V_0_15_9
65 default "0.15.8" if CLOOG_V_0_15_8
66 default "0.15.7" if CLOOG_V_0_15_7
67 default "0.15.6" if CLOOG_V_0_15_6
69 config CLOOG_0_18_or_later
74 select CLOOG_NEEDS_AUTORECONF
76 config CLOOG_NEEDS_AUTORECONF