1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
# 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!