mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 21:07:54 +00:00
fba4254768
Those versions are no longer available upstream. They have purely and simply disapeared, without leaving any trace of their mere existences. Just keep the latest cloog-ppl-0.15.11, which still exists on the gcc infra mirror (but for how long?) Reported-by: Guillaume FLORENCE-COURTAND <gflorenc@laposte.net> Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
48 lines
706 B
Plaintext
48 lines
706 B
Plaintext
# CLooG options
|
|
|
|
choice
|
|
bool
|
|
prompt "CLooG version"
|
|
|
|
if ISL
|
|
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
config CLOOG_V_0_18_1
|
|
bool
|
|
prompt "0.18.1"
|
|
select CLOOG_0_18_or_later
|
|
|
|
config CLOOG_V_0_18_0
|
|
bool
|
|
prompt "0.18.0"
|
|
select CLOOG_0_18_or_later
|
|
|
|
endif # ISL
|
|
|
|
if PPL
|
|
|
|
config CLOOG_V_0_15_11
|
|
bool
|
|
prompt "0.15.11"
|
|
select CLOOG_NEEDS_AUTORECONF
|
|
|
|
endif # PPL
|
|
|
|
endchoice
|
|
|
|
config CLOOG_VERSION
|
|
string
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
|
default "0.18.1" if CLOOG_V_0_18_1
|
|
default "0.18.0" if CLOOG_V_0_18_0
|
|
default "0.15.11" if CLOOG_V_0_15_11
|
|
|
|
config CLOOG_0_18_or_later
|
|
bool
|
|
|
|
config CLOOG_NEEDS_AUTORECONF
|
|
bool
|