diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 7a0fe2a19..c407da365 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -109,13 +109,13 @@ set_target_properties(z3_tptp5 PROPERTIES EXCLUDE_FROM_ALL TRUE)
 ################################################################################
 # Build Python examples
 ################################################################################
-if (BUILD_PYTHON_BINDINGS)
+if (Z3_BUILD_PYTHON_BINDINGS)
   add_subdirectory(python)
 endif()
 
 ################################################################################
 # Build dotnet examples
 ################################################################################
-if (BUILD_DOTNET_BINDINGS)
+if (Z3_BUILD_DOTNET_BINDINGS)
     add_subdirectory(dotnet)
 endif()
\ No newline at end of file