diff options
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/cloog.in | 28 | ||||
-rw-r--r-- | config/companion_libs/gmp.in | 30 | ||||
-rw-r--r-- | config/companion_libs/mpc.in | 13 | ||||
-rw-r--r-- | config/companion_libs/mpfr.in | 30 | ||||
-rw-r--r-- | config/companion_libs/ppl.in | 8 |
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! |