Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
travis: do not fail when the package is not compatible with the OCaml…
… version (test commit, do not merge)
  • Loading branch information
clarus committed Jun 9, 2018
1 parent 8ac0ae5 commit 82fd62f
Showing 1 changed file with 7 additions and 4 deletions.
11 changes: 7 additions & 4 deletions scripts/opam-coq-install-remove
Expand Up @@ -37,10 +37,13 @@ while [ ! -z "$1" ]; do
*)
;;
esac
echo Installing $PKG_NAME_VERSION
opam install "$PKG_NAME_VERSION" -y -v -v
echo Removing $PKG_NAME
opam remove "$PKG_NAME" -y
echo Check if $PKG_NAME_VERSION is compatible with the current environment
if opam install "$PKG_NAME_VERSION" -y -v -v --show-action; then
echo Installing $PKG_NAME_VERSION
opam install "$PKG_NAME_VERSION" -y -v -v
echo Removing $PKG_NAME
opam remove "$PKG_NAME" -y
fi
echo -en "travis_fold:end:$1\\\\r"
;;
*)
Expand Down

0 comments on commit 82fd62f

Please sign in to comment.