diff options
Diffstat (limited to 'src/api/python/CMakeLists.txt')
-rw-r--r-- | src/api/python/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/python/CMakeLists.txt b/src/api/python/CMakeLists.txt index 7ee559a6a..dce0208cb 100644 --- a/src/api/python/CMakeLists.txt +++ b/src/api/python/CMakeLists.txt @@ -92,7 +92,7 @@ target_include_directories(pycvc5 ${CMAKE_BINARY_DIR}/src # for cvc5_export.h ) -target_link_libraries(pycvc5 cvc5) +target_link_libraries(pycvc5 cvc5-shared) # Disable -Werror and other warnings for code generated by Cython. # Note: Visibility is reset to default here since otherwise the PyInit_... |