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: 
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
yann@3216:     default "0.11.1" if ISL_V_0_11_1