From c7248a65e401f733017852b014a9126c2634b62e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 Nov 2019 22:31:45 -0800 Subject: [PATCH] rename additional build options #2709 Signed-off-by: Nikolaj Bjorner --- examples/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 7a0fe2a19d2..c407da365d2 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