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

cmake build: set SOVERSION to include the minor version number

Browse source
This commit is contained in:
Andrew Dutcher 2016-12-11 08:27:35 -08:00
parent aca3d0545c
commit 657b0de2fc
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -121,9 +121,12 @@ set_target_properties(libz3 PROPERTIES
# VERSION determines the version in the filename of the shared library. # VERSION determines the version in the filename of the shared library.
# SOVERSION determines the value of the DT_SONAME field on ELF platforms. # 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 # 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 # but symlinks will be made to this file from libz3.so and also from
# libz3.so.W.X.
# This indicates that no breaking API changes will be made within a single
# minor version.
VERSION ${Z3_VERSION} VERSION ${Z3_VERSION}
SOVERSION ${Z3_VERSION_MAJOR}) SOVERSION ${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR})
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