Skip to content

Add pins and materialization for ghc-boot-packages and ghc-extra-packages #546

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

Merged
merged 31 commits into from
Apr 20, 2020

Conversation

hamishmack
Copy link
Collaborator

This might help with caching issues, but it is also a useful
first step if we want to materialize these.

@michaelpj
Copy link
Collaborator

👍 for materializing, or at least pinning the sha256!

@hamishmack hamishmack changed the title Add pins for ghc-boot-packages Add pins and materialization for ghc-boot-packages and ghc-extra-packages Apr 17, 2020
@hamishmack hamishmack requested a review from angerman April 17, 2020 00:24
Copy link
Collaborator

@michaelpj michaelpj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Do we need both the foo.nix and the .plan-nix/foo.nix files?

Would be great to have some instructions for updating things too.

hamishmack and others added 7 commits April 17, 2020 23:18
Co-Authored-By: Michael Peyton Jones <michael.peyton-jones@iohk.io>
Co-Authored-By: Michael Peyton Jones <michael.peyton-jones@iohk.io>
Co-Authored-By: Michael Peyton Jones <michael.peyton-jones@iohk.io>
Copy link
Collaborator

@angerman angerman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there a way to regenerate all the materialisations (e.g. a script) for all the boot and extra packages?

hamishmack and others added 2 commits April 20, 2020 12:55
Co-Authored-By: Moritz Angermann <moritz.angermann@gmail.com>
@hamishmack hamishmack merged commit d1102d3 into master Apr 20, 2020
@iohk-bors iohk-bors bot deleted the hkm/fix-pins branch April 20, 2020 01:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants