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