From: simonmar <unknown>
Date: Mon, 21 Aug 2000 15:27:18 +0000 (+0000)
Subject: [project @ 2000-08-21 15:27:18 by simonmar]
X-Git-Tag: Approximately_9120_patches~3845
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b682cf8d64f44ce16eddac9b5efbe01e993bfbe7;p=ghc-hetmet.git

[project @ 2000-08-21 15:27:18 by simonmar]
Connect up the new GMP.
---

diff --git a/ghc/rts/Makefile b/ghc/rts/Makefile
index b81f434..9c7e5f0 100644
--- a/ghc/rts/Makefile
+++ b/ghc/rts/Makefile
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.33 2000/08/08 17:21:12 rrt Exp $
+# $Id: Makefile,v 1.34 2000/08/21 15:27:18 simonmar Exp $
 #
 #  This is the Makefile for the runtime-system stuff.
 #  This stuff is written in C (and cannot be written in Haskell).
@@ -129,14 +129,11 @@ endif
 
 ifneq "$(HaveLibGmp)" "YES"
 boot ::
-	if [ ! -f gmp/configure ] ; then ( cd gmp && autoconf ); fi;
-	if [ ! -f gmp/mpn/configure ] ; then ( cd gmp/mpn && autoconf ); fi;
-	if [ ! -f gmp/mpz/configure ] ; then ( cd gmp/mpz && autoconf ); fi;
-	cd gmp && ./configure --target=$(HOSTPLATFORM)
-# Slight cheatage here to past host as target, but x-compilation isn't supported by ghc.
+	cd gmp && ./configure --enable-shared=no
 
-# make sure the various configure files are included in a source dist.
-SRC_DIST_FILES += gmp/configure gmp/mpn/configure gmp/mpz/configure
+# DON'T KNOW IF WE NEED SOMETHING LIKE THIS ANYMORE:  --SDM
+#	cd gmp && ./configure --target=$(HOSTPLATFORM)
+# Slight cheatage here to past host as target, but x-compilation isn't supported by ghc.
 
 all :: gmp/libgmp.a
 
@@ -159,6 +156,8 @@ endif
 
 gmp/libgmp.a ::
 	$(MAKE) -C gmp MAKEFLAGS=
+	@$(CP) gmp/.libs/libgmp.a gmp
+	@$(STRIP) gmp/libgmp.a
 endif
 
 #-----------------------------------------------------------------------------