[project @ 2000-02-24 13:58:56 by sewardj]
authorsewardj <unknown>
Thu, 24 Feb 2000 13:58:56 +0000 (13:58 +0000)
committersewardj <unknown>
Thu, 24 Feb 2000 13:58:56 +0000 (13:58 +0000)
Use the GMP library built in ghc/rts, not the system-supplied one,
since that doesn't exist on Cygwin.

ghc/interpreter/Makefile

index 4610a38..de3b34a 100644 (file)
@@ -1,6 +1,6 @@
 
 # --------------------------------------------------------------------------- #
-# $Id: Makefile,v 1.25 2000/02/14 11:15:09 sewardj Exp $                      #
+# $Id: Makefile,v 1.26 2000/02/24 13:58:56 sewardj Exp $                      #
 # --------------------------------------------------------------------------- #
 
 TOP = ..
@@ -49,7 +49,8 @@ hugs: $(C_OBJS) ../rts/Sanity.o ../rts/Assembler.o ../rts/Disassembler.o \
       ../rts/Evaluator.o ../rts/ForeignCall.o ../rts/GC.o ../rts/Printer.o \
       ../rts/StgCRun.o ../rts/PrimOps.o
        $(CC) -o $@ $(CC_OPTS) $^ $(GHC_LIBS_NEEDED) \
-                -lbfd -liberty $(LIB_READLINE) $(LIB_DL) -lgmp -lm
+                -lbfd -liberty $(LIB_READLINE) $(LIB_DL) \
+                ../rts/gmp/libgmp.a -lm
 
 foobar:
        rm -f ../rts/libHSrts.a  ../rts/libHSrts_u.a