haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-03-01 22:44:37 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Install z3 4.8.8

Browse Source
This commit is contained in:
Dan Burton 2020-08-26 23:08:51 -04:00
parent 060830ff94
commit a4b4fd755e
No known key found for this signature in database
GPG Key ID: 41F154F410EC12E0
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
debian-bootstrap.sh
View File

@ -169,7 +169,6 @@ apt-get install -y \
unixodbc-dev \ unixodbc-dev \
wget \ wget \
xclip \ xclip \
z3 \
zip \ zip \
zlib1g-dev \ zlib1g-dev \
zsh zsh
@ -310,6 +309,16 @@ cmake \
sudo make install sudo make install
popd 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 # EOF: don't build anything below this line
# Cleanup # Cleanup