mirror of
https://github.com/Z3Prover/z3
synced 2025-07-06 20:56:25 +00:00
flags. This is necessary for libz3 to be usable from the Python bindings when libz3 is built with gcc or clang.
3 lines
178 B
CMake
3 lines
178 B
CMake
add_executable(c_example EXCLUDE_FROM_ALL test_capi.c)
|
|
target_link_libraries(c_example PRIVATE libz3)
|
|
target_include_directories(c_example PRIVATE "${CMAKE_SOURCE_DIR}/src/api")
|