X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FMakefile;h=1481c359b9d2a65efb6a419045a410e86e355ffe;hb=7516738a036aac81e165d5e0a4973f1b1585a855;hp=bf4e43e24301a271b190052fa161597c4053475c;hpb=438596897ebbe25a07e1c82085cfbc5bdb00f09e;p=ghc-hetmet.git

diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile
index bf4e43e..1481c35 100644
--- a/ghc/includes/Makefile
+++ b/ghc/includes/Makefile
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.11 1998/12/02 13:21:15 simonm Exp $
+# $Id: Makefile,v 1.14 2000/12/08 11:47:00 rrt Exp $
 #
 
 TOP = ..
@@ -8,20 +8,26 @@ include $(TOP)/mk/boilerplate.mk
 #
 # All header files
 #
-H_FILES = $(wildcard *.h)
+H_FILES = $(filter-out gmp.h,$(wildcard *.h)) gmp.h
 
 #
 # Header file built from the configure script's findings
 #
 H_CONFIG = config.h
 
+boot :: gmp.h
+
 all :: $(H_CONFIG) NativeDefs.h
 
+# gmp.h is copied from the GMP directory
+gmp.h : $(FPTOOLS_TOP)/ghc/rts/gmp/gmp.h
+	$(CP) $< $@
+
 # The fptools configure script creates the configuration header file 
 # and puts it in fptools/mk/config.h. We copy it down to here, prepending
 # some make variables specifying cpp platform variables.
 #
-$(H_CONFIG) : $(FPTOOLS_TOP)/mk/config.h
+$(H_CONFIG) : $(FPTOOLS_TOP)/mk/config.h $(FPTOOLS_TOP)/mk/config.mk
 
 $(H_CONFIG) :
 	@echo "Creating $@..."