configure: we do not require curl, but wget.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
14 config CLOOG_V_0_15_10
39 # Don't remove next line
40 # CT_INSERT_VERSION_STRING_BELOW
41 default "0.15.11" if CLOOG_V_0_15_11
42 default "0.15.10" if CLOOG_V_0_15_10
43 default "0.15.9" if CLOOG_V_0_15_9
44 default "0.15.8" if CLOOG_V_0_15_8
45 default "0.15.7" if CLOOG_V_0_15_7
46 default "0.15.6" if CLOOG_V_0_15_6
50 select CLOOG_NEEDS_AUTORECONF
52 config CLOOG_NEEDS_AUTORECONF