[project @ 2000-10-27 14:45:18 by simonmar]

[ghc-hetmet.git] / ghc / includes / Makefile

diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile
index bf4e43e..19471af 100644 (file)
--- 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.13 2000/08/07 16:07:53 rrt Exp $
 #
 
 TOP = ..
@@ -8,15 +8,21 @@ 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.