File 0003-CMakeLists-do-not-specify-STATIC-for-libs.patch of Package metasmt

From 106711dce930aec56d4fd254f9dfa0d07964c7f0 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Sat, 25 Feb 2017 13:46:54 +0100
Subject: [PATCH 3/5] CMakeLists: do not specify STATIC for libs

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 cmake/config_file.cmake | 8 ++++++--
 src/lib/CMakeLists.txt  | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/cmake/config_file.cmake b/cmake/config_file.cmake
index 305cde5d5a..93cea0a874 100644
--- a/cmake/config_file.cmake
+++ b/cmake/config_file.cmake
@@ -72,8 +72,12 @@ function( generate_config_files )
     set(metaSMT_LDFLAGS "${metaSMT_LDFLAGS} ${ld_path}")
     set(metaSMT_LDLIBS "${metaSMT_LDLIBS} ${ld_lib}")
   endforeach(lib)
-  
-  set( metaSMT_MLIBS "${CMAKE_INSTALL_FULL_LIBDIR}/libmetaSMT.a ${metaSMT_MLIBS}")
+
+  if (BUILD_SHARED_LIBS)
+    set( metaSMT_MLIBS "${CMAKE_INSTALL_FULL_LIBDIR}/libmetaSMT.so ${metaSMT_MLIBS}")
+  else()
+    set( metaSMT_MLIBS "${CMAKE_INSTALL_FULL_LIBDIR}/libmetaSMT.a ${metaSMT_MLIBS}")
+  endif()
   set( metaSMT_LDFLAGS "-L${CMAKE_INSTALL_FULL_LIBDIR} ${metaSMT_LDFLAGS}")
   set( metaSMT_LDLIBS "-lmetaSMT ${metaSMT_LDLIBS}")
 
diff --git a/src/lib/CMakeLists.txt b/src/lib/CMakeLists.txt
index 2fa6681f5e..4dc24fba9f 100644
--- a/src/lib/CMakeLists.txt
+++ b/src/lib/CMakeLists.txt
@@ -1,4 +1,4 @@
-add_library(metaSMT STATIC
+add_library(metaSMT
   _var_id.cpp
 )
 
-- 
2.11.0