Skip to content

Commit

Permalink
Merge pull request #197 from kit-ty-kate/hotfix-ocaml-dockerfile-132
Browse files Browse the repository at this point in the history
  • Loading branch information
kit-ty-kate authored Dec 16, 2022
2 parents 108ceb0 + 03111a5 commit 9aadb3e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/opam_build.ml
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,7 @@ let setup_repository ~variant ~for_docker ~opam_version =
(* TODO: macOS seems to have a bug in (copy ...) so I am forced to remove the (workdir ...) here.
Otherwise the "opam pin" after the "opam repository set-url" will fail (cannot find the new package for some reason) *)
run "%s -f %s/bin/opam-%s %s/bin/opam" ln prefix opam_version_str prefix ::
run "opam init --reinit%s -ni" opamrc ::
run ~network "opam init --reinit%s -ni" opamrc :: (* TODO: Remove ~network when https://github.com/ocurrent/ocaml-dockerfile/pull/132 is merged *)
env "OPAMDOWNLOADJOBS" "1" :: (* Try to avoid github spam detection *)
env "OPAMERRLOGLEN" "0" :: (* Show the whole log if it fails *)
env "OPAMSOLVERTIMEOUT" "500" :: (* Increase timeout. Poor mccs is doing its best *)
Expand Down

0 comments on commit 9aadb3e

Please sign in to comment.