From ac214563f29cea8e26e1eaa272d18853599075f2 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Fri, 7 Jul 2017 15:25:20 -0700
Subject: [PATCH] Put Z3 in $HOME/bin on Travis/Linux

---
 .travis.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 9363fbab..7f803166 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,10 +15,11 @@ matrix:
 before_install:
   - if [[ $TRAVIS_OS_NAME == 'linux' ]];
     then
-        export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$HOME/.cabal/bin:$PATH;
+        mkdir -p HOME/bin;
+        export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$HOME/bin:$HOME/.cabal/bin:$PATH;
         curl https://saw.galois.com/builds/z3/z3 > z3;
         chmod +x z3;
-        mv z3 $HOME/.cabal/bin/z3;
+        mv z3 $HOME/bin/z3;
         z3 --version;
     fi
   - if [[ $TRAVIS_OS_NAME == 'osx' ]];