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

rename additional build options #2709

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-11-18 21:39:11 -08:00
parent 53a01a07bd
commit 4522e7a97a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
contrib/ci/scripts/build_z3_cmake.sh
View file

@ -27,9 +27,9 @@ ADDITIONAL_Z3_OPTS=()
# Static or dynamic libz3 # Static or dynamic libz3
if [ "X${Z3_STATIC_BUILD}" = "X1" ]; then if [ "X${Z3_STATIC_BUILD}" = "X1" ]; then
ADDITIONAL_Z3_OPTS+=('-DBUILD_LIBZ3_SHARED=OFF') ADDITIONAL_Z3_OPTS+=('-DZ3_BUILD_LIBZ3_SHARED=OFF')
else else
ADDITIONAL_Z3_OPTS+=('-DBUILD_LIBZ3_SHARED=ON') ADDITIONAL_Z3_OPTS+=('-DZ3_BUILD_LIBZ3_SHARED=ON')
fi fi
# Use LibGMP? # Use LibGMP?