summaryrefslogtreecommitdiff
path: root/config/companion_libs
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-10-23 21:21:36 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-10-23 21:21:36 (GMT)
commitcc7bf641f645a20e134852ab50b80b59230ce415 (patch)
tree2c75bb28d2c79aa3834302b22763ec028fa9675e /config/companion_libs
parent093fb9111f892678df28f9000cbc96e50dd342f9 (diff)
complibs/cloog: add latest version 0.15.10
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'config/companion_libs')
-rw-r--r--config/companion_libs/cloog.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index 35edfed..df29853 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -6,6 +6,10 @@ choice
# Don't remove next line
# CT_INSERT_VERSION_BELOW
+config CLOOG_V_0_15_10
+ bool
+ prompt "0.15.10"
+
config CLOOG_V_0_15_9
bool
prompt "0.15.9"
@@ -43,6 +47,7 @@ config CLOOG_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
+ default "0.15.10" if CLOOG_V_0_15_10
default "0.15.9" if CLOOG_V_0_15_9
default "0.15.8" if CLOOG_V_0_15_8
default "0.15.7" if CLOOG_V_0_15_7