diff options
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/cloog.in | 8 | ||||
-rw-r--r-- | config/companion_libs/gmp.in | 8 | ||||
-rw-r--r-- | config/companion_libs/mpc.in | 8 | ||||
-rw-r--r-- | config/companion_libs/mpfr.in | 8 | ||||
-rw-r--r-- | config/companion_libs/ppl.in | 8 |
5 files changed, 20 insertions, 20 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 7ae6f87..75ddb14 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -3,6 +3,8 @@ choice bool prompt "CLooG/ppl version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config CLOOG_V_0_15_7 bool @@ -24,16 +26,14 @@ 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 5a8c78c..75628d9 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -3,6 +3,8 @@ choice bool prompt "GMP version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config GMP_V_4_3_1 bool @@ -20,15 +22,13 @@ 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 +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW default "4.3.1" if GMP_V_4_3_1 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 -# CT_INSERT_VERSION_STRING_ABOVE -# Don't remove above line! diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in index 42d5a6f..27e9b90 100644 --- a/config/companion_libs/mpc.in +++ b/config/companion_libs/mpc.in @@ -3,6 +3,8 @@ choice bool prompt "MPC version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config MPC_V_0_7 bool @@ -12,13 +14,11 @@ 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 365cd4f..61f057a 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -3,6 +3,8 @@ choice bool prompt "MPFR version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config MPFR_V_2_4_1 bool @@ -20,15 +22,13 @@ 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 +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW default "2.4.1" if MPFR_V_2_4_1 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 -# CT_INSERT_VERSION_STRING_ABOVE -# Don't remove above line! 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! |