Skip to content
This repository has been archived by the owner on Aug 2, 2020. It is now read-only.

Better naming convention for build directories #19

Closed
snowleopard opened this issue Dec 21, 2015 · 4 comments
Closed

Better naming convention for build directories #19

snowleopard opened this issue Dec 21, 2015 · 4 comments
Assignees

Comments

@snowleopard
Copy link
Owner

The old build system used a variety of different names for build directories: dist, dist-boot, dist-install, stage1, etc.

Proposal: always use stageN as the build directory when using stageN compiler. This will simplify the build system considerably.

One potential inconvenience: in the old build system, ghc-stage2 executable lived in stage2 directory. Under this proposal ghc-stage2 will live in stage1 directory, because it is built by stage1 compiler. Admittedly this may be confusing for the long-time users of the old build system, however I think this is logically consistent.

@snowleopard
Copy link
Owner Author

I'll give it a try today. Please shout if you have any concerns about this proposal.

@hvr
Copy link
Contributor

hvr commented Dec 21, 2015

This sounds intriguing

Under this proposal ghc-stage2 will live in stage1 directory, because it is built by stage1 compiler.

...and where will ghc-stage1 then be located? :-) (and what will be found in /stage2 then?)

/cc @thomie

PS: This would have the effect that for (non-canadian) cross-compilers, the stage0/ folder would countain binaries and object-code runnable on the build-host, while stage1/ would contain binaries and object-code compiled for the target-arch. That appears to be nicely consistent

@snowleopard
Copy link
Owner Author

...and where will ghc-stage1 then be located? :-)

Well, in /stage0 :-) The bootstrapping compiler is referred to as Ghc Stage0 in the new build system. Does this make sense?

...the stage0/ folder would countain binaries and object-code runnable on the build-host, while stage1/ would contain binaries and object-code compiled for the target-arch. That appears to be nicely consistent

Indeed! That's another bonus I didn't think about.

@snowleopard
Copy link
Owner Author

I've implemented this and it works smoothly so far: 52ecf6c.

It's possible to rollback to the old naming convention without much difficulty if need be (please reopen the issue in this case).

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants