5 files changed, 67 insertions, 42 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index 99779c9..75ddb14 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -3,17 +3,37 @@
 choice
     bool
     prompt "CLooG/ppl version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
+
+config CLOOG_V_0_15_7
+    bool
+    prompt "0.15.7"
+
+config CLOOG_V_0_15_6
+    bool
+    prompt "0.15.6"
+
+config CLOOG_V_0_15_5
+    bool
+    prompt "0.15.5"
+
+config CLOOG_V_0_15_4
+    bool
+    prompt "0.15.4"
 
 config CLOOG_V_0_15_3
     bool
     prompt "0.15.3"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config CLOOG_VERSION
     string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
+    default "0.15.7" if CLOOG_V_0_15_7
+    default "0.15.6" if CLOOG_V_0_15_6
+    default "0.15.5" if CLOOG_V_0_15_5
+    default "0.15.4" if CLOOG_V_0_15_4
     default "0.15.3" if CLOOG_V_0_15_3
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index a87f417..75628d9 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -3,32 +3,32 @@
 choice
     bool
     prompt "GMP version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
 
-config GMP_V_4_2_2
-    bool
-    prompt "4.2.2"
-
-config GMP_V_4_2_4
+config GMP_V_4_3_1
     bool
-    prompt "4.2.4"
+    prompt "4.3.1"
 
 config GMP_V_4_3_0
     bool
     prompt "4.3.0"
 
-config GMP_V_4_3_1
+config GMP_V_4_2_4
     bool
-    prompt "4.3.1"
+    prompt "4.2.4"
+
+config GMP_V_4_2_2
+    bool
+    prompt "4.2.2"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config GMP_VERSION
     string
-    default "4.2.2" if GMP_V_4_2_2
-    default "4.2.4" if GMP_V_4_2_4
-    default "4.3.0" if GMP_V_4_3_0
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
     default "4.3.1" if GMP_V_4_3_1
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
+    default "4.3.0" if GMP_V_4_3_0
+    default "4.2.4" if GMP_V_4_2_4
+    default "4.2.2" if GMP_V_4_2_2
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in
index 0aa1369..27e9b90 100644
--- a/config/companion_libs/mpc.in
+++ b/config/companion_libs/mpc.in
@@ -3,17 +3,22 @@
 choice
     bool
     prompt "MPC version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
+
+config MPC_V_0_7
+    bool
+    prompt "0.7"
 
 config MPC_V_0_6
     bool
     prompt "0.6"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config MPC_VERSION
     string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
+    default "0.7" if MPC_V_0_7
     default "0.6" if MPC_V_0_6
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index 910ab4e..61f057a 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -3,32 +3,32 @@
 choice
     bool
     prompt "MPFR version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
 
-config MPFR_V_2_3_1
-    bool
-    prompt "2.3.1"
-
-config MPFR_V_2_3_2
+config MPFR_V_2_4_1
     bool
-    prompt "2.3.2"
+    prompt "2.4.1"
 
 config MPFR_V_2_4_0
     bool
     prompt "2.4.0"
 
-config MPFR_V_2_4_1
+config MPFR_V_2_3_2
     bool
-    prompt "2.4.1"
+    prompt "2.3.2"
+
+config MPFR_V_2_3_1
+    bool
+    prompt "2.3.1"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config MPFR_VERSION
     string
-    default "2.3.1" if MPFR_V_2_3_1
-    default "2.3.2" if MPFR_V_2_3_2
-    default "2.4.0" if MPFR_V_2_4_0
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
     default "2.4.1" if MPFR_V_2_4_1
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
+    default "2.4.0" if MPFR_V_2_4_0
+    default "2.3.2" if MPFR_V_2_3_2
+    default "2.3.1" if MPFR_V_2_3_1
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in
index efdeabf..8f32570 100644
--- a/config/companion_libs/ppl.in
+++ b/config/companion_libs/ppl.in
@@ -3,17 +3,17 @@
 choice
     bool
     prompt "PPL version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
 
 config PPL_V_0_10_2
     bool
     prompt "0.10.2"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config PPL_VERSION
     string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
     default "0.10.2" if PPL_V_0_10_2
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!