Unikernels depending on zarith won't build for non-unix targets

Question

Unikernels depending on zarith won't build for non-unix targets

Closed this issue 2 years ago · 5 comments

Answer 1 · 2022-09-23T12:03:36.000Z

Fixed by b6e7205

Answer 2 · 2022-09-23T13:49:09.000Z

Actually still broken as ocaml-gmp uses opam config subst inside a nix derivation, without an opam switch being set up. Trying to set up an opam switch results in an error in sandboxed derivation without network access.

Answer 3 · 2022-09-23T13:58:39.000Z

mirage/ocaml-gmp#18 should fix this

Answer 4 · 2022-09-28T12:12:33.000Z

Once ocaml/opam-repository#22180 is merged we should update the opam-repository input

Answer 5 · 2022-09-28T20:00:58.000Z

f239ea2 closes this