mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 09:04:07 +00:00
18 lines
261 B
Bash
18 lines
261 B
Bash
#!/bin/sh
|
|
|
|
cd ..
|
|
mkdir build
|
|
CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil CXX=clang++ CC=clang python scripts/mk_make.py --java --python
|
|
cd build
|
|
make
|
|
make test-z3
|
|
make cpp_example
|
|
make c_example
|
|
make java_example
|
|
make python_example
|
|
./cpp_example
|
|
./c_example
|
|
|
|
|
|
|