Revision 907c652b1f3759f5de7f1676264b063e3fcc35cf authored by Adrian Brink on 05 November 2019, 09:32:21 UTC, committed by Pierre Boutillier on 31 March 2020, 13:10:08 UTC
Co-Authored-By: Eugen Zalinescu <eugen.zalinescu@nomadic-labs.com>
Co-Authored-By: Adrian Brink <adrian@cryptium.io>
1 parent e09b67c
Raw File
opam-upgrade.sh
#! /bin/sh

set -e

script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
src_dir="$(dirname "$script_dir")"
cd "$src_dir"

cleanup () {
    set +e
    if [ -f LOG ]; then
        echo "Failure"
        echo
        cat LOG
        echo
        exit 1
    fi
}
trap cleanup EXIT INT

silent () {
    "$@" > LOG 2>&1
    rm LOG
}

echo "Updating package description..."
silent . ./scripts/opam-pin.sh

upgradables=$(opam list --short --installed --pinned $packages)

if [ -z "$upgradables" ]; then
    echo "No previously installed package. Nothing to do."
    exit 1
fi
opam upgrade $upgradables
back to top