diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:51 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:51 (GMT) |
commit | 9b9be141ee4b9a140c9cd4c9eae7c7b4385822ec (patch) | |
tree | 78156c49c6a7085d26587991222e8b19be972b79 /config/companion_libs/gmp.in | |
parent | 26edbc5b62418e0eea8bacb9f8c076c46ae51ed8 (diff) | |
parent | 89351cb89887e1e7de93afea665351cf70fe6f86 (diff) |
Merge.
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r-- | config/companion_libs/gmp.in | 30 |
1 files changed, 15 insertions, 15 deletions
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 |