From d6dc86e6bcd26064136a96a385d9ba299d877aab Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin.nowack@gmail.com>
Date: Thu, 12 Apr 2018 13:32:37 +0100
Subject: Fix python2 linking

---
 .travis/z3.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.travis/z3.sh b/.travis/z3.sh
index a4c00f82..315d028c 100755
--- a/.travis/z3.sh
+++ b/.travis/z3.sh
@@ -13,6 +13,12 @@ if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
   # Should we install libz3-dbg too?
   sudo apt-get -y install libz3 libz3-dev
 elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then
+  set +e
+  brew install python@2
+  if [[ "X$?" != "X0" ]]; then
+     brew link --overwrite python@2
+  fi
+  set -e
   brew install z3
 else
   echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\""
-- 
cgit 1.4.1