Skip to content
Snippets Groups Projects
Commit 39c267a4 authored by Ralf Jung's avatar Ralf Jung
Browse files

skip opam upgrade if we are working in a fresh opam root

parent e5c45351
No related branches found
No related tags found
No related merge requests found
......@@ -12,14 +12,18 @@ else
echo_color "$BOLDYELLOW" "[prepare-opam] Creating new opam root"
mkdir "$OPAMROOT"
opam init --no-setup -y
FRESH_OPAM=yes
fi
eval `opam conf env`
# Make sure the pin for the builddep package exists and is up-to-date
make build-dep/opam
if [[ -z "$FRESH_OPAM" ]]; then # skip if this is a fresh opam root
# Make sure the pin for the builddep package exists and is up-to-date.
# This avoids opam complaining about pins pointing to a non-existing file.
make build-dep/opam
# Update repositories
opam update
# Update repositories
opam update
fi
# Make sure we got the right set of repositories registered
if echo "$@" | fgrep "dev" > /dev/null; then
......@@ -56,10 +60,12 @@ while (( "$#" )); do # while there are arguments left
done
echo
# Upgrade cached things.
echo_color "$BOLDGREEN" "[prepare-opam] Upgrading packages"
opam upgrade -y --fixup && opam upgrade -y
echo
if [[ -z "$FRESH_OPAM" ]]; then # skip if this is a fresh opam root
# Upgrade cached things
echo_color "$BOLDGREEN" "[prepare-opam] Upgrading packages"
opam upgrade -y --fixup && opam upgrade -y
echo
fi
# Install build-dependencies.
echo_color "$BOLDGREEN" "[prepare-opam] Installing build-dependencies"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment