mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Emit an error message if building the Python bindings is enabled

Browse source 
but libz3 is built statically. This build combination doesn't
work because the Python bindings need a dynamic libz3.
This commit is contained in:
Dan Liew 2016-03-03 21:15:53 +00:00
parent 7033ebe6b5
commit a2cc6d256a
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
contrib/cmake/src/CMakeLists.txt
View file

@ -217,6 +217,10 @@ add_subdirectory(test)
################################################################################ ################################################################################
option(BUILD_PYTHON_BINDINGS "Build Python bindings for Z3" OFF) option(BUILD_PYTHON_BINDINGS "Build Python bindings for Z3" OFF)
if (BUILD_PYTHON_BINDINGS) if (BUILD_PYTHON_BINDINGS)
if (NOT BUILD_LIBZ3_SHARED)
message(FATAL_ERROR "The python bindings will not work with a static libz3. "
"You either need to disable BUILD_PYTHON_BINDINGS or enable BUILD_LIBZ3_SHARED")
endif()
add_subdirectory(api/python) add_subdirectory(api/python)
endif() endif()