mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Note in the README the experimental CMake build system.
This commit is contained in:
parent
a5f8ceaa48
commit
e67ed6be5d
|
@ -74,6 +74,11 @@ sudo make uninstall
|
|||
|
||||
To clean Z3 you can delete the build directory and run the ``mk_make.py`` script again.
|
||||
|
||||
## Building Z3 using CMake
|
||||
|
||||
Z3 has an unofficial build system using CMake. Read the [README-CMake.md](README-CMake.md)
|
||||
file for details.
|
||||
|
||||
## Z3 bindings
|
||||
|
||||
Z3 has bindings for various programming languages.
|
||||
|
|
Loading…
Reference in a new issue