From a4b4fd755e3b21359535cf8cb69d0d6f3ae3b73a Mon Sep 17 00:00:00 2001
From: Dan Burton <danburton.email@gmail.com>
Date: Wed, 26 Aug 2020 23:08:51 -0400
Subject: [PATCH] Install z3 4.8.8

---
 debian-bootstrap.sh | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index 3b94d744..21e9973c 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -169,7 +169,6 @@ apt-get install -y \
     unixodbc-dev \
     wget \
     xclip \
-    z3 \
     zip \
     zlib1g-dev \
     zsh
@@ -310,6 +309,16 @@ cmake \
 sudo make install
 popd
 
+Z3_VER=4.8.8
+(
+  cd /usr/local/ \
+    && wget https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VER}/z3-${Z3_VER}-x64-ubuntu-16.04.zip \
+    && unzip z3-${Z3_VER}-x64-ubuntu-16.04.zip \
+    && rm z3-${Z3_VER}-x64-ubuntu-16.04.zip \
+    && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
+)
+
+
 # EOF: don't build anything below this line
 
 # Cleanup