summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn Ericson <John.Ericson@Obsidian.Systems>2021-10-24 01:01:25 +0000
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-10-29 16:57:48 -0400
commit7b67724bd1e6237f843241506d9650ea6f27cee2 (patch)
treead4a4c296c7780a0a7d269b65e3ba6461d9e7f8a /.gitignore
parent925c47b46529d202190f18bd653a6945caa51823 (diff)
downloadhaskell-7b67724bd1e6237f843241506d9650ea6f27cee2.tar.gz
make build system: RTS should use dist-install not dist
This is the following find and replace: - `rts/dist` -> `rts/dist-install` # for paths - `rts_dist` -> `rts_dist-install` # for make rules and vars - `,dist` -> `,dist-install` # for make, just in rts/ghc.mk` Why do this? Does it matter when the RTS is just built once? The answer is, yes, I think it does, because I want the distdir--stage correspondence to be consistent. In particular, for #17191 and continuing from d5de970dafd5876ef30601697576167f56b9c132 I am going to make the headers (`rts/includes`) increasingly the responsibility of the RTS (hence their new location). However, those headers are current made for multiple stages. This will probably become unnecessary as work on #17191 progresses and the compiler proper becomes more of a freestanding cabal package (e.g. a library that can be downloaded from Hackage and built without any autoconf). However, until that is finished, we have will transitional period where the RTS and headers need to agree on dirs for multiple stages. I know the make build system is going away, but it's not going yet, so I need to change it to unblock things :).
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index e4c0104b3f..f66faf033e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -80,7 +80,7 @@ _darcs/
/libraries/*/dist-install/
/libraries/*/dist-newstyle/
/libraries/dist-haddock/
-/rts/dist/
+/rts/dist-install/
/rts/include/dist/
/rts/include/dist-*/
/utils/*/dist*/