diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/companion_libs.in | 13 | ||||
| -rw-r--r-- | config/companion_libs/isl.in | 19 |
2 files changed, 32 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index d4996a6..eb0800b 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -22,6 +22,11 @@ config PPL_NEEDED select PPL select COMPLIBS_NEEDED +config ISL_NEEDED + bool + select ISL + select COMPLIBS_NEEDED + config CLOOG_NEEDED bool select CLOOG @@ -54,6 +59,11 @@ config PPL select GMP select COMPLIBS +config ISL + bool + select GMP + select COMPLIBS + config CLOOG bool select GMP @@ -82,6 +92,9 @@ endif if PPL source "config/companion_libs/ppl.in" endif +if ISL +source "config/companion_libs/isl.in" +endif if CLOOG source "config/companion_libs/cloog.in" endif diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in new file mode 100644 index 0000000..51854c8 --- /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 |