-
Notifications
You must be signed in to change notification settings - Fork 46
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
capDL-tool: update GHC version #44
Conversation
Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
These files are automatically generated as part of the tests and should not be tracked by version control. This also updates the 'make testclean' command to remove them. Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
This makes it slightly easier to update GHC versions. Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>
I've kept separate commits for updates to different ghc versions, thinking that they might be useful if anyone ever needs to use a specific old release. I'd also be happy to merge them into one commit though if people would prefer a cleaner history. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looking good. Let's merge this first, and then I'll have a look at pre-caching this new ghc version in the docker containers.
No description provided.