From 009c94a95f06dd06fed8c16433ddbf1660e51edc Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Mon, 7 Aug 2000 16:07:53 +0000
Subject: [PATCH] [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).

---
 ghc/includes/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile
index d9c2d1eca7ce..19471af94b6e 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
-- 
GitLab