Guest User

Untitled

a guest
Oct 16th, 2018
107
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.91 KB | None | 0 0
  1. diff --git a/prepare-opam.sh b/prepare-opam.sh
  2. index eb347af..6d392a3 100644
  3. --- a/prepare-opam.sh
  4. +++ b/prepare-opam.sh
  5. @@ -32,6 +32,7 @@ eval `opam conf env`
  6. opam config report
  7. git --version
  8. echo -n "OCaml version " && ocaml -vnum
  9. +echo -n "OCamlc version (bin)" && /usr/bin/ocamlc -vnum
  10.  
  11. # Update old opam, if we got a cache.
  12. if [[ -z "$FRESH_OPAM" ]]; then # skip if this is a fresh opam root
  13. @@ -87,10 +88,6 @@ if ! opam upgrade -y -a "$BUILD_DEP_PACKAGE"; then
  14. # Something went wrong. Try again with more debugging, but then fail anyway.
  15. echo_color "$BOLDRED" "[prepare-opam] Installation failed! Let's try again, sometimes this helps... but more verbose this time"
  16. set -x
  17. - opam config list -vv
  18. - opam list --available ocaml-system --debug -vv
  19. - opam show ocaml-system
  20. - OPAMDEBUG=5 opam list --resolve "$BUILD_DEP_PACKAGE"
  21. opam upgrade -yvv -a "$BUILD_DEP_PACKAGE" --debug
  22. set +x
  23. fi
Add Comment
Please, Sign In to add comment