mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
rename additional build options #2709
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
dc4adcb147
commit
c7248a65e4
|
@ -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()
|
Loading…
Reference in a new issue