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

When building with OpenMP make sure libz3 passes extra linker

Browse source 
flags. This is necessary for libz3 to be usable from the Python
bindings when libz3 is built with gcc or clang.
This commit is contained in:
Dan Liew 2016-03-02 14:45:01 +00:00
parent fb449517e3
commit 9b48b5ca83
3 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
examples/c++/CMakeLists.txt
View file

@ -2,4 +2,3 @@ add_executable(cpp_example EXCLUDE_FROM_ALL example.cpp)
target_link_libraries(cpp_example PRIVATE libz3)
target_include_directories(cpp_example PRIVATE "${CMAKE_SOURCE_DIR}/src/api")
target_include_directories(cpp_example PRIVATE "${CMAKE_SOURCE_DIR}/src/api/c++")
set_property(TARGET cpp_example APPEND PROPERTY LINK_FLAGS ${Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS})

1
examples/c/CMakeLists.txt
View file

@ -1,4 +1,3 @@
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")
set_property(TARGET c_example APPEND PROPERTY LINK_FLAGS ${Z3_DEPENDENT_EXTRA_C_LINK_FLAGS})

2
src/CMakeLists.txt
View file

@ -140,6 +140,8 @@ endif()
# automatically link against the libs in Z3_DEPENDENT_LIBS
target_link_libraries(libz3 INTERFACE ${Z3_DEPENDENT_LIBS})
set_property(TARGET libz3 APPEND PROPERTY LINK_FLAGS ${Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS})
# Declare which header file are the public header files of libz3
# these will automatically installed when the libz3 target is installed
set (libz3_public_headers