From 93a9847815feb7bdfd6b324e8192b879c89266f2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 16 May 2021 15:44:44 -0700 Subject: [PATCH] BUILD_LIBZ3_SHARED Signed-off-by: Nikolaj Bjorner --- contrib/ci/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/ci/README.md b/contrib/ci/README.md index 61e61e45e..8b48ac32e 100644 --- a/contrib/ci/README.md +++ b/contrib/ci/README.md @@ -42,7 +42,7 @@ the future. * `Z3_BUILD_TYPE` - CMake build type (`RelWithDebInfo`, `Release`, `Debug`, or `MinSizeRel`) * `Z3_CMAKE_GENERATOR` - CMake generator (`Ninja` or `Unix Makefiles`) * `Z3_VERBOSE_BUILD_OUTPUT` - Show compile commands in CMake builds (`0` or `1`) -* `Z3_STATIC_BUILD` - Build Z3 binaries and libraries statically (`0` or `1`) +* `Z3_BUILD_LIBZ3_SHARED` - Build Z3 binaries and libraries dynamically/statically (`0` or `1`) * `Z3_SYSTEM_TEST_GIT_REVISION` - Git revision of [z3test](https://github.com/Z3Prover/z3test). If empty lastest revision will be used. * `Z3_WARNINGS_AS_ERRORS` - Set the `WARNINGS_AS_ERRORS` CMake option passed to Z3 (`OFF`, `ON`, or `SERIOUS_ONLY`)