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

[document] Add vcpkg instruction step (#6345)

Browse source
This commit is contained in:
Jack·Boos·Yu 2022-09-19 16:36:54 +00:00 committed by GitHub
parent f4bea58852
commit 9118a93e44
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
README.md
View file

@ -105,6 +105,19 @@ Z3 has a build system using CMake. Read the [README-CMake.md](README-CMake.md)
file for details. It is recommended for most build tasks, file for details. It is recommended for most build tasks,
except for building OCaml bindings. except for building OCaml bindings.
## Building Z3 using vcpkg
vcpkg is a full platform package manager, you can easily install libzmq with vcpkg.
Execute:
```bash
git clone https://github.com/microsoft/vcpkg.git
./bootstrap-vcpkg.bat # For powershell
./bootstrap-vcpkg.sh # For bash
./vcpkg install z3
```
## Dependencies ## Dependencies
Z3 itself has few dependencies. It uses C++ runtime libraries, including pthreads for multi-threading. Z3 itself has few dependencies. It uses C++ runtime libraries, including pthreads for multi-threading.
It is optionally possible to use GMP for multi-precision integers, but Z3 contains its own self-contained It is optionally possible to use GMP for multi-precision integers, but Z3 contains its own self-contained