diff options
Diffstat (limited to 'src/api')
-rw-r--r-- | src/api/java/CMakeLists.txt | 4 | ||||
-rw-r--r-- | src/api/python/CMakeLists.txt | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt index 69605c06a..a2fc1dba9 100644 --- a/src/api/java/CMakeLists.txt +++ b/src/api/java/CMakeLists.txt @@ -127,7 +127,7 @@ target_include_directories(cvc5jni PUBLIC ${PROJECT_SOURCE_DIR}/src) target_include_directories(cvc5jni PUBLIC ${CMAKE_BINARY_DIR}/src/) target_include_directories(cvc5jni PUBLIC ${JNI_DIR}) target_link_libraries(cvc5jni PRIVATE ${JNI_LIBRARIES}) -target_link_libraries(cvc5jni PRIVATE cvc5) +target_link_libraries(cvc5jni PRIVATE cvc5-shared) set(CVC5_JAR "cvc5-${CVC5_MAJOR}.${CVC5_MINOR}.${CVC5_RELEASE}.jar") @@ -139,4 +139,4 @@ add_jar(cvc5jar OUTPUT_NAME cvc5 ) -add_dependencies(cvc5jar generate-java-kinds cvc5jni cvc5) +add_dependencies(cvc5jar generate-java-kinds cvc5jni cvc5-shared) 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_... |