diff options
author | rrt <unknown> | 2000-08-07 16:07:53 +0000 |
---|---|---|
committer | rrt <unknown> | 2000-08-07 16:07:53 +0000 |
commit | 009c94a95f06dd06fed8c16433ddbf1660e51edc (patch) | |
tree | 72716d981a2879d16338387af793839a919aa97c | |
parent | e1ecea726f8fb3dc180c8aba8222f6c9e9823c47 (diff) | |
download | haskell-009c94a95f06dd06fed8c16433ddbf1660e51edc.tar.gz |
[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).
-rw-r--r-- | ghc/includes/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile index d9c2d1eca7..19471af94b 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 |