diff --git a/.travis.yml b/.travis.yml index e01eac64b..a20c46bb2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,7 +6,10 @@ os: services: docker osx_image: xcode7.3 before_install: + - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get -qq update; fi + - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y aspcud; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update; fi + - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install aspcud; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install opam; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam init; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam switch 4.04.0; fi