mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-02-03 09:30:39 +00:00
c8ea24328e
Add the latest 0.15.{4,5,6,7} CLoog/PPL.
40 lines
676 B
Plaintext
40 lines
676 B
Plaintext
# CLooG options
|
|
|
|
choice
|
|
bool
|
|
prompt "CLooG/ppl version"
|
|
|
|
config CLOOG_V_0_15_3
|
|
bool
|
|
prompt "0.15.3"
|
|
|
|
config CLOOG_V_0_15_4
|
|
bool
|
|
prompt "0.15.4"
|
|
|
|
config CLOOG_V_0_15_5
|
|
bool
|
|
prompt "0.15.5"
|
|
|
|
config CLOOG_V_0_15_6
|
|
bool
|
|
prompt "0.15.6"
|
|
|
|
config CLOOG_V_0_15_7
|
|
bool
|
|
prompt "0.15.7"
|
|
|
|
# CT_INSERT_VERSION_ABOVE
|
|
# Don't remove above line!
|
|
endchoice
|
|
|
|
config CLOOG_VERSION
|
|
string
|
|
default "0.15.3" if CLOOG_V_0_15_3
|
|
default "0.15.4" if CLOOG_V_0_15_4
|
|
default "0.15.5" if CLOOG_V_0_15_5
|
|
default "0.15.6" if CLOOG_V_0_15_6
|
|
default "0.15.7" if CLOOG_V_0_15_7
|
|
# CT_INSERT_VERSION_STRING_ABOVE
|
|
# Don't remove above line!
|