From c62380ad7720d0d99bf41319448d88c70556908e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 19 Nov 2019 08:48:43 -0800 Subject: [PATCH] update names of config vars Signed-off-by: Nikolaj Bjorner --- contrib/ci/scripts/build_z3_cmake.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/contrib/ci/scripts/build_z3_cmake.sh b/contrib/ci/scripts/build_z3_cmake.sh index 39a07b6e8..63b9410d8 100755 --- a/contrib/ci/scripts/build_z3_cmake.sh +++ b/contrib/ci/scripts/build_z3_cmake.sh @@ -49,11 +49,11 @@ fi # Build API docs? if [ "X${BUILD_DOCS}" = "X1" ]; then ADDITIONAL_Z3_OPTS+=( \ - '-DBUILD_DOCUMENTATION=ON' \ - '-DALWAYS_BUILD_DOCS=OFF' \ + '-DZ3_BUILD_DOCUMENTATION=ON' \ + '-DZ3_ALWAYS_BUILD_DOCS=OFF' \ ) else - ADDITIONAL_Z3_OPTS+=('-DBUILD_DOCUMENTATION=OFF') + ADDITIONAL_Z3_OPTS+=('-DZ3_BUILD_DOCUMENTATION=OFF') fi # Python bindings?