# -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.11 1998/12/02 13:21:15 simonm Exp $
+# $Id: Makefile,v 1.15 2001/07/16 21:01:58 qrczak Exp $
#
TOP = ..
#
# 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 $@..."
# (ditto for interface files). This is not *really* needed, but
# it gives (perhaps) a cleaner binary dist structure..might change.
#
-override datadir:=$(libdir)/includes
+override datadir:=$(libdir)/include
INSTALL_DATAS += $(H_FILES) $(H_CONFIG)
#