|
|
@ -6,7 +6,10 @@ os:
|
|
|
|
services: docker
|
|
|
|
services: docker
|
|
|
|
osx_image: xcode7.3
|
|
|
|
osx_image: xcode7.3
|
|
|
|
before_install:
|
|
|
|
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 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 brew install opam; fi
|
|
|
|
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam init; fi
|
|
|
|
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam init; fi
|
|
|
|
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam switch 4.04.0; fi
|
|
|
|
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam switch 4.04.0; fi
|
|
|
|