summaryrefslogtreecommitdiff
path: root/config/companion_libs
diff options
context:
space:
mode:
authorBryan Hundven <bryanhundven@gmail.com>2014-12-23 21:28:26 (GMT)
committerBryan Hundven <bryanhundven@gmail.com>2014-12-23 21:28:26 (GMT)
commit4b84be34c5b0ba1c32fb9141f68f9dc77855c3ab (patch)
treefc79a5993d3207918b0f0d156d1040c41e9045bb /config/companion_libs
parent767aa9befcf74d6b70f37539ac3a442370a9421b (diff)
gmp: Disable --enable-mpbsd if version is >= 5.0.2
closes #12 Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
Diffstat (limited to 'config/companion_libs')
-rw-r--r--config/companion_libs/gmp.in8
1 files changed, 8 insertions, 0 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 386caff..f156e69 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -9,18 +9,22 @@ choice
config GMP_V_6_0_0
bool
prompt "6.0.0a"
+ select GMP_5_0_2_or_later
config GMP_V_5_1_3
bool
prompt "5.1.3"
+ select GMP_5_0_2_or_later
config GMP_V_5_1_1
bool
prompt "5.1.1"
+ select GMP_5_0_2_or_later
config GMP_V_5_0_2
bool
prompt "5.0.2"
+ select GMP_5_0_2_or_later
config GMP_V_5_0_1
bool
@@ -40,6 +44,10 @@ config GMP_V_4_3_0
endchoice
+# To disable --enable-mpbsd
+config GMP_5_0_2_or_later
+ bool
+
config GMP_VERSION
string
# Don't remove next line