diff options
Diffstat (limited to 'config/companion_libs/isl.in')
| -rw-r--r-- | config/companion_libs/isl.in | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in new file mode 100644 index 00000000..51854c89 --- /dev/null +++ b/config/companion_libs/isl.in @@ -0,0 +1,19 @@ +# ISL options + +choice + bool + prompt "ISL version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW + +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.11.1" if ISL_V_0_11_1 |