mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-01-19 11:17:00 +00:00
20 lines
312 B
Plaintext
20 lines
312 B
Plaintext
|
# CLooG options
|
||
|
|
||
|
choice
|
||
|
bool
|
||
|
prompt "CLooG/ppl version"
|
||
|
|
||
|
config CLOOG_V_0_15_3
|
||
|
bool
|
||
|
prompt "0.15.3"
|
||
|
|
||
|
# CT_INSERT_VERSION_ABOVE
|
||
|
# Don't remove above line!
|
||
|
endchoice
|
||
|
|
||
|
config CLOOG_VERSION
|
||
|
string
|
||
|
default "0.15.3" if CLOOG_V_0_15_3
|
||
|
# CT_INSERT_VERSION_STRING_ABOVE
|
||
|
# Don't remove above line!
|