[project @ 2000-02-24 14:40:38 by sewardj]

Don't always use GMP from ghc/rts; instead consult HaveLibGmp first.

diff --git a/ghc/interpreter/Makefile b/ghc/interpreter/Makefile
index de3b34a..42550de 100644 (file)
--- 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