mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 12:57:53 +00:00
40 lines
672 B
Plaintext
40 lines
672 B
Plaintext
# CLooG options
|
|
|
|
choice
|
|
bool
|
|
prompt "CLooG/ppl version"
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
config CLOOG_V_0_15_7
|
|
bool
|
|
prompt "0.15.7"
|
|
|
|
config CLOOG_V_0_15_6
|
|
bool
|
|
prompt "0.15.6"
|
|
|
|
config CLOOG_V_0_15_5
|
|
bool
|
|
prompt "0.15.5"
|
|
|
|
config CLOOG_V_0_15_4
|
|
bool
|
|
prompt "0.15.4"
|
|
|
|
config CLOOG_V_0_15_3
|
|
bool
|
|
prompt "0.15.3"
|
|
|
|
endchoice
|
|
|
|
config CLOOG_VERSION
|
|
string
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
|
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
|