File 0004-lib-proper-soversion.patch of Package metasmt

From 75ae381ff2cae2f0c68e9c511e71a4d2a9b0ddbb Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Sat, 25 Feb 2017 13:53:19 +0100
Subject: [PATCH 4/5] lib: proper soversion

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 src/lib/CMakeLists.txt |    1 +
 1 file changed, 1 insertion(+)

--- a/src/lib/CMakeLists.txt
+++ b/src/lib/CMakeLists.txt
@@ -4,6 +4,7 @@ add_library(metaSMT
 
 target_link_libraries(metaSMT ${metaSMT_LIBS})
 set_target_properties(metaSMT PROPERTIES POSITION_INDEPENDENT_CODE on)
+set_target_properties(metaSMT PROPERTIES SOVERSION ${metaSMT_VERSION}.0)
 
 install(TARGETS metaSMT 
   EXPORT metaSMT