From c572a2274936c009879e90a676171f5a0472d4e9 Mon Sep 17 00:00:00 2001
From: sewardj <unknown>
Date: Thu, 24 Feb 2000 14:40:38 +0000
Subject: [PATCH] [project @ 2000-02-24 14:40:38 by sewardj] Don't always use
 GMP from ghc/rts; instead consult HaveLibGmp first.

---
 ghc/interpreter/Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/ghc/interpreter/Makefile b/ghc/interpreter/Makefile
index de3b34adf5b7..42550de1b5a7 100644
--- a/ghc/interpreter/Makefile
+++ b/ghc/interpreter/Makefile
@@ -1,6 +1,6 @@
 
 # --------------------------------------------------------------------------- #
-# $Id: Makefile,v 1.26 2000/02/24 13:58:56 sewardj Exp $                      #
+# $Id: Makefile,v 1.27 2000/02/24 14:40:38 sewardj Exp $                      #
 # --------------------------------------------------------------------------- #
 
 TOP = ..
@@ -25,6 +25,12 @@ else
 LIB_READLINE=
 endif
 
+ifeq "$(HaveLibGmp)$" "YES"
+LIB_GMP=-lgmp
+else
+LIB_GMP=../rts/gmp/libgmp.a
+endif
+
 YACC = bison -y
 %.c: %.y
 	-$(YACC) $<
@@ -50,7 +56,7 @@ hugs: $(C_OBJS) ../rts/Sanity.o ../rts/Assembler.o ../rts/Disassembler.o \
       ../rts/StgCRun.o ../rts/PrimOps.o
 	$(CC) -o $@ $(CC_OPTS) $^ $(GHC_LIBS_NEEDED) \
 		 -lbfd -liberty $(LIB_READLINE) $(LIB_DL) \
-		 ../rts/gmp/libgmp.a -lm
+		 $(LIB_GMP) -lm
 
 foobar:
 	rm -f ../rts/libHSrts.a  ../rts/libHSrts_u.a
-- 
GitLab