@@ -169,7 +169,6 @@ apt-get install -y \
169169 unixodbc-dev \
170170 wget \
171171 xclip \
172− z3 \
173172 zip \
174173 zlib1g-dev \
175174 zsh
@@ -310,6 +309,16 @@ cmake \
310309sudo make install
311310popd
312311
312+Z3_VER=4.8.8
313+(
314+ cd /usr/local/ \
315+ && wget https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VER}/z3-${Z3_VER}-x64-ubuntu-16.04.zip \
316+ && unzip z3-${Z3_VER}-x64-ubuntu-16.04.zip \
317+ && rm z3-${Z3_VER}-x64-ubuntu-16.04.zip \
318+ && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
319+)
320+
321+
313322# EOF: don't build anything below this line
314323
315324# Cleanup