mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
9 lines
195 B
Bash
9 lines
195 B
Bash
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
git clone --depth 1 --branch z3-4.8.1 https://github.com/Z3Prover/z3.git
|
||
|
|
cd z3
|
||
|
|
mkdir build
|
||
|
|
cd build
|
||
|
|
LDFLAGS="-static" cmake -DBUILD_LIBZ3_SHARED=OFF ..
|
||
|
|
make -j 4
|
||
|
|
make install
|