# -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.12 2000/08/02 14:13:27 rrt Exp $
+# $Id: Makefile,v 1.14 2000/12/08 11:47:00 rrt Exp $
#
TOP = ..
#
H_CONFIG = config.h
+boot :: gmp.h
+
all :: $(H_CONFIG) NativeDefs.h
# gmp.h is copied from the GMP directory
# 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 $@..."