mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

update README on cmake

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-11-06 08:43:54 +01:00
parent 8a420c850b
commit cef5a26361
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
README.md
View file

@ -97,8 +97,9 @@ To clean Z3 you can delete the build directory and run the ``mk_make.py`` script
## Building Z3 using CMake ## Building Z3 using CMake
Z3 has an unofficial build system using CMake. Read the [README-CMake.md](README-CMake.md) Z3 has a build system using CMake. Read the [README-CMake.md](README-CMake.md)
file for details. file for details. It is recommended for most build tasks,
except for building OCaml bindings.
## Z3 bindings ## Z3 bindings