From 337bb6d5f876bb52f65a08c8d6dfcb693d83bc64 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 29 May 2012 11:45:54 +0200
Subject: [PATCH] Build gmp and mpfr libary on x86_32 only (fix #135)

By now the gmp-library works builds on x86/32bit only. The mpfr library
depends on gmp, so make both library dependent on the corresponding platform
variables. Look at the discussion of issue #135.
---
 libports/lib/mk/gmp.inc | 3 +++
 libports/lib/mk/mpfr.mk | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/libports/lib/mk/gmp.inc b/libports/lib/mk/gmp.inc
index b0a02e8fe..a865fcc52 100644
--- a/libports/lib/mk/gmp.inc
+++ b/libports/lib/mk/gmp.inc
@@ -4,6 +4,9 @@ ifeq ($(wildcard $(GMP_DIR)),)
 REQUIRES += prepare_gmp
 endif
 
+# gmp depends on gmp-mpn which requires 32bit by now
+REQUIRES = x86_32
+
 include $(REP_DIR)/lib/import/import-gmp.mk
 
 LIBS += libc
diff --git a/libports/lib/mk/mpfr.mk b/libports/lib/mk/mpfr.mk
index 553834677..6d1aa936d 100644
--- a/libports/lib/mk/mpfr.mk
+++ b/libports/lib/mk/mpfr.mk
@@ -4,8 +4,8 @@ ifeq ($(wildcard $(MPFR_DIR)),)
 REQUIRES += prepare_mpfr
 endif
 
-# mpfr depends on gmp, which is only supported on x86 yet
-REQUIRES += x86
+# mpfr depends on gmp, which is only supported on x86_32 yet
+REQUIRES += x86_32
 
 LIBS      = libc gmp
 CC_OPT   += -DHAVE_STDARG -DHAVE_VA_COPY -DHAVE_INTTYPES_H