diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/companion_libs.in | 1 | ||||
-rw-r--r-- | config/companion_libs/cloog.in | 20 |
2 files changed, 19 insertions, 2 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index eb0800b..c48fc82 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -67,7 +67,6 @@ config ISL config CLOOG bool select GMP - select PPL select COMPLIBS config MPC diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index d2e6b0a..1f58731 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -2,10 +2,22 @@ choice bool - prompt "CLooG/ppl version" + prompt "CLooG version" + +if ISL + # Don't remove next line # CT_INSERT_VERSION_BELOW +config CLOOG_V_0_18_0 + bool + prompt "0.18.0" + select CLOOG_0_18_or_later + +endif # ISL + +if PPL + config CLOOG_V_0_15_11 bool prompt "0.15.11" @@ -32,12 +44,15 @@ config CLOOG_V_0_15_6 bool prompt "0.15.6" +endif # PPL + endchoice config CLOOG_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "0.18.0" if CLOOG_V_0_18_0 default "0.15.11" if CLOOG_V_0_15_11 default "0.15.10" if CLOOG_V_0_15_10 default "0.15.9" if CLOOG_V_0_15_9 @@ -45,6 +60,9 @@ config CLOOG_VERSION default "0.15.7" if CLOOG_V_0_15_7 default "0.15.6" if CLOOG_V_0_15_6 +config CLOOG_0_18_or_later + bool + config CLOOG_0_15_1x bool select CLOOG_NEEDS_AUTORECONF |