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?