mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 12:57:53 +00:00
63750f8841
This rules out 0.15.5 and previous versions, that did not have this option, so remove them from the list. Anyway, they were marked 'OBSOLETE', so it's not a big loss... [Yann E. MORIN: remove obsolete versions] Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
43 lines
793 B
Plaintext
43 lines
793 B
Plaintext
# CLooG options
|
|
|
|
choice
|
|
bool
|
|
prompt "CLooG/ppl version"
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
config CLOOG_V_0_15_10
|
|
bool
|
|
prompt "0.15.10"
|
|
|
|
config CLOOG_V_0_15_9
|
|
bool
|
|
prompt "0.15.9"
|
|
|
|
config CLOOG_V_0_15_8
|
|
bool
|
|
prompt "0.15.8"
|
|
|
|
config CLOOG_V_0_15_7
|
|
bool
|
|
prompt "0.15.7"
|
|
|
|
config CLOOG_V_0_15_6
|
|
bool
|
|
prompt "0.15.6"
|
|
|
|
endchoice
|
|
|
|
config CLOOG_VERSION
|
|
string
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
|
default "0.15.10" if CLOOG_V_0_15_10
|
|
default "0.15.9" if CLOOG_V_0_15_9
|
|
default "0.15.8" if CLOOG_V_0_15_8
|
|
default "0.15.7" if CLOOG_V_0_15_7
|
|
default "0.15.6" if CLOOG_V_0_15_6
|
|
default "0.15.5" if CLOOG_V_0_15_5
|
|
default "0.15.4" if CLOOG_V_0_15_4
|
|
default "0.15.3" if CLOOG_V_0_15_3
|