diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2021-10-24 01:01:25 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-29 16:57:48 -0400 |
commit | 7b67724bd1e6237f843241506d9650ea6f27cee2 (patch) | |
tree | ad4a4c296c7780a0a7d269b65e3ba6461d9e7f8a /.gitignore | |
parent | 925c47b46529d202190f18bd653a6945caa51823 (diff) | |
download | haskell-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-- | .gitignore | 2 |
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*/ |