search

seL4 / capdl

Capability Distribution Language tools for seL4
https://sel4.systems
35 stars 45 forks source link

capDL-tool: update GHC version #45

Closed corlewis closed 2 years ago

axel-h commented 2 years ago

Please update the docker container also, otherwise we have many Ci jobs downloading and building. Basically https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/issues/45 again.

lsf37 commented 2 years ago

Working on it (that's the reason behind the second update -- we do want seL4 and l4v in sync with GHC after all, because while two GHCs is now possible, it still wastes a lot of space in the containers. l4v needs a more recent GHC version to work, hence the capDL GHC update again)