Repository navigation
capDL-tool: update to LTS 24.32, ghc-9.10.3 - #87
Merged
Merged
Conversation
nspin
force-pushed
the
pr/bump-lts-snapshot
branch
2 times, most recently
from
March 25, 2026 00:38
12acad2 to
68c9761
Compare
Member
|
Updating GHC only here is problematic, we have to coordinate with the other places we are using GHC. For instance, if we do that here and not do it in l4v, the CI docker containers will have the wrong version for one of them and stack will download GHC from scratch each time. |
nspin
force-pushed
the
pr/bump-lts-snapshot
branch
from
July 7, 2026 07:57
68c9761 to
0adcf1a
Compare
Member
|
I'm having a look at rebasing this and bumping to LTS 24.66 and doing the same for l4v. The version we are using is indeed getting a bit old. |
lsf37
force-pushed
the
pr/bump-lts-snapshot
branch
2 times, most recently
from
November 10, 2026 08:24
a6f658f to
f648d88
Compare
Update the stack and cabal files. Needs minor tweaks to State.hs. Signed-off-by: Nick Spinale <nick@nickspinale.com> Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
The GitHub Ubuntu 26.04LTS runners only support python 3.10 and above. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
The GHC download + build is extremely long if the GHC version does not happen to be present on the GitHub runner. Cache the build, it should very rarely go out of date. Also use stack-no-global: true, because capDL-tool uses a local stack install step, i.e. a global install would install GHC twice. This also removes the need to mention the GHC version in the workflow file. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
lsf37
force-pushed
the
pr/bump-lts-snapshot
branch
from
November 10, 2026 08:41
f648d88 to
2947495
Compare
lsf37
approved these changes
Nov 10, 2026
Member
There was a problem hiding this comment.
Ok, this now works and is ready to go when the docker files and l4v have been updated.
Edit: this can merge once the tests in seL4/seL4-CAmkES-L4v-dockerfiles#102 have passed
This was referenced Nov 10, 2026
lsf37
added a commit
to seL4/l4v
that referenced
this pull request
Nov 11, 2026
Staying in sync with seL4/capdl#87, bump to the latest stack LTS version and GHC 9.10.3. Apart from version bumps, this needs a few new imports which are no longer automatic, and -fno-warn-x-partial for functions like `head`. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
lsf37
added a commit
to seL4/l4v
that referenced
this pull request
Nov 11, 2026
Staying in sync with seL4/capdl#87, bump to the latest stack LTS version and GHC 9.10.3. Apart from version bumps, this needs a few new imports which are no longer automatic, and -fno-warn-x-partial for functions like `head`. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The instances of
{-# OPTIONS_GHC -Wno-x-partial #-}throughout are to enable the continued use of functions likehead.