# ISL options choice bool prompt "ISL version" # Don't remove next line # CT_INSERT_VERSION_BELOW config ISL_V_0_12_2 bool prompt "0.12.2" config ISL_V_0_11_1 bool prompt "0.11.1" endchoice config ISL_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW default "0.12.2" if ISL_V_0_12_2 default "0.11.1" if ISL_V_0_11_1