# -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.12 2000/08/02 14:13:27 rrt Exp $
+# $Id: Makefile,v 1.13 2000/08/07 16:07:53 rrt Exp $
#
TOP = ..
#
H_CONFIG = config.h
+boot :: gmp.h
+
all :: $(H_CONFIG) NativeDefs.h
# gmp.h is copied from the GMP directory