summaryrefslogtreecommitdiff
path: root/config/companion_libs/gmp.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-02 21:33:37 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-02 21:33:37 (GMT)
commit540d681568195aea516f382b1494fe76c85456ce (patch)
tree215311ff3fea339915c36ab53fcea8421d236747 /config/companion_libs/gmp.in
parent8f375a1411b6712161e434d7a574e272c0ca3689 (diff)
[comp-lib-gmp] Add latest versions
Add 4.3.0 and 4.3.1.
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r--config/companion_libs/gmp.in10
1 files changed, 10 insertions, 0 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index c4fc246..a87f417 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -12,6 +12,14 @@ config GMP_V_4_2_4
bool
prompt "4.2.4"
+config GMP_V_4_3_0
+ bool
+ prompt "4.3.0"
+
+config GMP_V_4_3_1
+ bool
+ prompt "4.3.1"
+
# CT_INSERT_VERSION_ABOVE
# Don't remove above line!
endchoice
@@ -20,5 +28,7 @@ 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
+ default "4.3.1" if GMP_V_4_3_1
# CT_INSERT_VERSION_STRING_ABOVE
# Don't remove above line!