Skip to content

Commit

Permalink
Travis: cache local opam switch
Browse files Browse the repository at this point in the history
Also upgrade opam to 2.0.5.
  • Loading branch information
aantron committed Jul 12, 2019
1 parent d910233 commit 46c2a27
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 2 deletions.
1 change: 1 addition & 0 deletions .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,7 @@ cache:
- $HOME/travis/.opam
- $HOME/travis/.esy
- $HOME/travis/.nvm
- ./_opam
- ./_build/default

install:
Expand Down
9 changes: 7 additions & 2 deletions test/ci/install-deps.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ if [[ $ESY_BUILD == YES ]]; then
npm --global install [email protected]
else
OPAM_RELEASES=https://github.com/ocaml/opam/releases/
OPAM_VERSION=2.0.3
OPAM_VERSION=2.0.5

case $TRAVIS_OS_NAME in
"linux") OPAM_OS=linux;;
Expand All @@ -37,5 +37,10 @@ else
sudo chmod a+x /usr/local/bin/opam

opam init -y --bare --disable-sandboxing
opam switch create . $OCAML $REPOSITORIES --no-install

if [ ! -d _opam/bin ]
then
rm -rf _opam
opam switch create . $OCAML $REPOSITORIES --no-install
fi
fi

0 comments on commit 46c2a27

Please sign in to comment.