mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

Set soname version correctly in cmake build

Browse source
This commit is contained in:
Andrew Dutcher 2016-09-14 15:21:29 -07:00
parent 7cc093eee0
commit aca3d0545c
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
contrib/cmake/src/CMakeLists.txt
View file

@ -117,14 +117,13 @@ else()
set(lib_type "STATIC") set(lib_type "STATIC")
endif() endif()
add_library(libz3 ${lib_type} ${object_files}) add_library(libz3 ${lib_type} ${object_files})
# FIXME: Set "VERSION" and "SOVERSION" properly
set_target_properties(libz3 PROPERTIES set_target_properties(libz3 PROPERTIES
# FIXME: Should we be using ${Z3_VERSION} here? # VERSION determines the version in the filename of the shared library.
# VERSION: Sets up symlinks, does it do anything else? # SOVERSION determines the value of the DT_SONAME field on ELF platforms.
# On ELF platforms the final compiled filename will be libz3.so.W.X.Y.Z
# but symlinks will be made to this file from libz3.so and also from libz3.so.W
VERSION ${Z3_VERSION} VERSION ${Z3_VERSION}
# SOVERSION: On platforms that use ELF this sets the API version SOVERSION ${Z3_VERSION_MAJOR})
# and should be incremented everytime the API changes
SOVERSION ${Z3_VERSION})
if (NOT MSVC) if (NOT MSVC)
# On UNIX like platforms if we don't change the OUTPUT_NAME # On UNIX like platforms if we don't change the OUTPUT_NAME