From 4522e7a97ae68c2fea275384f5a9f07bb42277e4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 Nov 2019 21:39:11 -0800 Subject: [PATCH] rename additional build options #2709 Signed-off-by: Nikolaj Bjorner --- contrib/ci/scripts/build_z3_cmake.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/ci/scripts/build_z3_cmake.sh b/contrib/ci/scripts/build_z3_cmake.sh index e14c935c6..39a07b6e8 100755 --- a/contrib/ci/scripts/build_z3_cmake.sh +++ b/contrib/ci/scripts/build_z3_cmake.sh @@ -27,9 +27,9 @@ ADDITIONAL_Z3_OPTS=() # Static or dynamic libz3 if [ "X${Z3_STATIC_BUILD}" = "X1" ]; then - ADDITIONAL_Z3_OPTS+=('-DBUILD_LIBZ3_SHARED=OFF') + ADDITIONAL_Z3_OPTS+=('-DZ3_BUILD_LIBZ3_SHARED=OFF') else - ADDITIONAL_Z3_OPTS+=('-DBUILD_LIBZ3_SHARED=ON') + ADDITIONAL_Z3_OPTS+=('-DZ3_BUILD_LIBZ3_SHARED=ON') fi # Use LibGMP?