git.iko.soy/stackage
on master help sign in
Install z3 4.8.8
a4b4fd7Dan Burton
debian-bootstrap.sh+10−1
compare with master
unifiedsplit
@@ -169,7 +169,6 @@ apt-get install -y \
169 unixodbc-dev \
169 unixodbc-dev \
170 wget \
170 wget \
171 xclip \
171 xclip \
172− z3 \
173 zip \
172 zip \
174 zlib1g-dev \
173 zlib1g-dev \
175 zsh
174 zsh
@@ -310,6 +309,16 @@ cmake \
310sudo make install
309sudo make install
311popd
310popd
312
311
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+
313# EOF: don't build anything below this line
322# EOF: don't build anything below this line
314
323
315# Cleanup
324# Cleanup