-
Notifications
You must be signed in to change notification settings - Fork 22
Parallelbuild #1437
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: plt
Are you sure you want to change the base?
Parallelbuild #1437
Conversation
I'm not sure I like putting |
What are your cons and pros (or principle for not doing it)? What I like about it is that it
|
I just don't think |
I though think that enabling parallel module build by default should be good (not sure why it isn't default in GHC)? Seems a bit hypothetical to not do it? Though, I tried timing building dependencies for the node (deleting
It seems like the command line |
Purpose
Declare to build modules in parallel. Will have effect in development environment and in CI
Changes
_Describe the changes that were needed.
Checklist
hard-to-understand areas.