travis: upgrade to macos 10.14
MODIFY
.travis.yml
.travis.yml
@@ -21,7 +21,7 @@ env:
before_script:
- |
if [ $TRAVIS_OS_NAME = linux ]; then
- if [ ! -d /tmp/z3cache/z3-$Z3_VERSION-x64-ubuntu-14.04 ] ; then
+ if [ ! -d /tmp/z3cache/z3-$Z3_VERSION.$Z3_HASH-x64-ubuntu-16.04 ] ; then
rm -fr /tmp/z3cache
mkdir /tmp/z3cache
wget https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/z3-$Z3_VERSION.$Z3_HASH-x64-ubuntu-16.04.zip -O /tmp/z3.zip
@@ -128,7 +128,7 @@ matrix:
- env: CMAKE_BUILD_TYPE=Debug CMAKE_CXX_FLAGS=-fsanitize=address,undefined
os: osx
- osx_image: xcode10.1
+ osx_image: xcode10.2
addons: &mac
homebrew:
packages:
@@ -138,5 +138,5 @@ matrix:
- env: CMAKE_BUILD_TYPE=Release
os: osx
- osx_image: xcode10.1
+ osx_image: xcode10.2
addons: *mac

travis: upgrade to macos 10.14