1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/config/companion_libs/isl.in Sat Jan 04 16:19:18 2014 +0100
1.3 @@ -0,0 +1,19 @@
1.4 +# ISL options
1.5 +
1.6 +choice
1.7 + bool
1.8 + prompt "ISL version"
1.9 +# Don't remove next line
1.10 +# CT_INSERT_VERSION_BELOW
1.11 +
1.12 +config ISL_V_0_11_1
1.13 + bool
1.14 + prompt "0.11.1"
1.15 +
1.16 +endchoice
1.17 +
1.18 +config ISL_VERSION
1.19 + string
1.20 +# Don't remove next line
1.21 +# CT_INSERT_VERSION_STRING_BELOW
1.22 + default "0.11.1" if ISL_V_0_11_1