solidity/scripts/install_static_z3.sh

#!/usr/bin/env bash

git clone --depth 1 --branch z3-4.8.7 https://github.com/Z3Prover/z3.git
cd z3
mkdir build
cd build
LDFLAGS="-static" cmake -DZ3_BUILD_LIBZ3_SHARED=OFF ..
make -j 4
make install
Experimental static Z3 PPA script. 2019-06-03 16:27:29 +00:00			`#!/usr/bin/env bash`

Rename cmake option 2019-12-03 14:08:06 +00:00			`git clone --depth 1 --branch z3-4.8.7 https://github.com/Z3Prover/z3.git`
Experimental static Z3 PPA script. 2019-06-03 16:27:29 +00:00			`cd z3`
			`mkdir build`
			`cd build`
Rename cmake option 2019-12-03 14:08:06 +00:00			`LDFLAGS="-static" cmake -DZ3_BUILD_LIBZ3_SHARED=OFF ..`
Experimental static Z3 PPA script. 2019-06-03 16:27:29 +00:00			`make -j 4`
			`make install`