# 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!