diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 918c5a45a..34ca07edc 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1122,7 +1122,7 @@ install(TARGETS cvc4 LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR} ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}) -set_target_properties(cvc4 PROPERTIES SOVERSION ${CVC4_SOVERSION}) +set_target_properties(cvc4 PROPERTIES SOVERSION ${CVC5_SOVERSION}) target_compile_definitions(cvc4 PRIVATE -D__BUILDING_CVC4LIB |