mirage / qubes-mirage-firewall

A Mirage firewall VM for QubesOS
BSD 2-Clause "Simplified" License
210 stars 28 forks source link

Update of opam-repository commit to retrieve solo5 0.7.5 #167

Closed hannesm closed 1 year ago

hannesm commented 1 year ago

This fixes #166

palainp commented 1 year ago

Is there a way to exclude solo5 before 0.7.5 ? Solo5 is currently not restricted in config.ml.

hannesm commented 1 year ago

Since solo5 is a dependency of ocaml-solo5, and not of the unikernel (and thus installed in the opam switch), we can't easily specify this. What we can do:

Neither is optimal. On the flipside, our build process uses the latest opam repository commit, and there the opam solver will pick solo5 0.7.5. I reproduced this built on builds.robur.coop (sorry, there may be DNS issues), and will cut a release with this change.