From: rrt <unknown>
Date: Mon, 7 Aug 2000 16:07:53 +0000 (+0000)
Subject: [project @ 2000-08-07 16:07:53 by rrt]
X-Git-Tag: Approximately_9120_patches~3908
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=009c94a95f06dd06fed8c16433ddbf1660e51edc;p=ghc-hetmet.git

[project @ 2000-08-07 16:07:53 by rrt]
Add gmp.h to boot target so that it gets copied during booting (otherwise
make boot breaks down).
---

diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile
index d9c2d1e..19471af 100644
--- a/ghc/includes/Makefile
+++ b/ghc/includes/Makefile
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $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 = ..
@@ -15,6 +15,8 @@ H_FILES = $(filter-out gmp.h,$(wildcard *.h)) gmp.h
 #
 H_CONFIG = config.h
 
+boot :: gmp.h
+
 all :: $(H_CONFIG) NativeDefs.h
 
 # gmp.h is copied from the GMP directory