mirror of
https://github.com/Z3Prover/z3
synced 2025-07-17 09:56:39 +00:00
test
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
c3ee9d0f74
commit
6ae3929a92
1 changed files with 0 additions and 3 deletions
3
README
3
README
|
@ -43,6 +43,3 @@ Remark: clang does not support OpenMP yet.
|
||||||
python scripts/mk_make.py
|
python scripts/mk_make.py
|
||||||
cd build
|
cd build
|
||||||
make
|
make
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue