rename additional build options #2709

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 19, 2019 · c7248a6 · c7248a6
1 parent dc4adcb
commit c7248a6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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()