diff options
Diffstat (limited to '.install_z3.sh')
| -rw-r--r-- | .install_z3.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.install_z3.sh b/.install_z3.sh new file mode 100644 index 00000000..13ffb90e --- /dev/null +++ b/.install_z3.sh @@ -0,0 +1,9 @@ +set -e +# Install Z3 (https://github.com/Z3Prover/z3) +if [ ! -f $INSTALL_DIR/bin/z3 ]; then + mkdir -p $INSTALL_DIR + # download prebuilt binary + wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-ubuntu-16.04.zip + unzip z3-4.8.8-x64-ubuntu-16.04.zip + mv ./z3-4.8.8-x64-ubuntu-16.04/bin/z3 $INSTALL_DIR/bin/z3 +fi |