Commit 639dde2c authored by Ralf Jung's avatar Ralf Jung
Browse files

more work arounds for more opam quirks

parent d27b6051
## This script installs the build dependencies for CI builds.
# Prepare OPAM configuration
# Prepare OPAM configuration.
export OPAMROOT="$(pwd)/opamroot"
export OPAMJOBS="$((2*$CPU_CORES))"
export OPAM_EDITOR="$(which false)"
export OPAMEDITOR="$(which false)"
export OPAMRETRIES=3
# Work around some OPAM bugs/quirks.
export OPAMDROPWORKINGDIR=1
export OPAMRETRES=3
export OPAMPRECISETRACKING=1
# Delete OPAM 1.2 root, if that's what we got
if test -d "$OPAMROOT" && fgrep 'opam-version: "1.2"' "$OPAMROOT/config" -q; then
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment