diff options
| author | John Ericson <git@JohnEricson.me> | 2019-05-08 02:52:35 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-04 21:44:29 -0400 |
| commit | 05419e55cab272ed39790695f448b311f22669f7 (patch) | |
| tree | b3f652d4eb27c0ad6108edd6bca5fc73e165981a /.gitignore | |
| parent | ec93d2a90a2d4f189feafd21575b9e9ba5ba9a5d (diff) | |
| download | haskell-05419e55cab272ed39790695f448b311f22669f7.tar.gz | |
Per stage headers, ghc_boot_platform.h -> stage 0 ghcplatform.h
The generated headers are now generated per stage, which means we can
skip hacks like `ghc_boot_platform.h` and just have that be the stage 0
header as proper. In general, stages are to be embraced: freely generate
everything in each stage but then just build what you depend on, and
everything is symmetrical and efficient. Trying to avoid stages because
bootstrapping is a mind bender just creates tons of bespoke
mini-mind-benders that add up to something far crazier.
Hadrian was pretty close to this "stage-major" approach already, and so
was fairly easy to fix. Make needed more work, however: it did know
about stages so at least there was a scaffold, but few packages except
for the compiler cared, and the compiler used its own counting system.
That said, make and Hadrian now work more similarly, which is good for
the transition to Hadrian. The merits of embracing stage aside, the
change may be worthy for easing that transition alone.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index 89492fd977..f5db603a6a 100644 --- a/.gitignore +++ b/.gitignore @@ -73,6 +73,7 @@ _darcs/ /driver/ghc/dist/ /driver/haddock/dist/ /driver/ghci/dist/ +/includes/dist/ /includes/dist-*/ /libffi/dist-install/ /libraries/*/dist-boot/ @@ -128,9 +129,6 @@ _darcs/ /ghc.spec /ghc/ghc-bin.cabal /includes/dist/ -/includes/ghcautoconf.h -/includes/ghcplatform.h -/includes/ghcversion.h /index.html /inplace/ /libffi/build/ |