mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
11 lines
207 B
Bash
11 lines
207 B
Bash
#!/usr/bin/env bash
|
|
|
|
set -eu
|
|
|
|
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 |