Skip to content

Commit b6f4920

Browse files
committed
WIP: Add overlays repo on Windows
1 parent 7a1b2a2 commit b6f4920

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

src-opam/dockerfile_opam.ml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -405,6 +405,10 @@ let separate_ocaml_compilers hub_id arch distro =
405405
if OV.Releases.is_dev ov then
406406
run "opam repo add beta git+https://github.com/ocaml/ocaml-beta-repository --set-default"
407407
else empty in
408+
let add_overlay =
409+
if os_family = `Windows then
410+
run "opam repo add ocurrent-overlay git+https://github.com/ocurrent/opam-repository-mingw#overlay --set-default"
411+
else empty in
408412
let default_switch_name = OV.(with_patch (with_variant ov None) None |> to_string) in
409413
let variants =
410414
empty @@@ List.map (create_switch ~arch distro) (OV.Opam.V2.switches arch ov)
@@ -421,6 +425,7 @@ let separate_ocaml_compilers hub_id arch distro =
421425
@@ run "opam init -k git -a /home/opam/opam-repository --bare%s"
422426
(if os_family = `Windows then "--disable-sandboxing" else "")
423427
@@ add_remote
428+
@@ add_overlay
424429
@@ variants
425430
@@ run "opam switch %s" default_switch_name
426431
@@ run "opam install -y depext%s"

0 commit comments

Comments
 (0)