diff options
author | Sergei Golubchik <serg@mariadb.org> | 2019-08-02 17:57:49 +0200 |
---|---|---|
committer | Sergei Golubchik <serg@mariadb.org> | 2019-08-26 23:33:42 +0200 |
commit | 6afe013cde26ac9a038b705ac676d1c49d4280a1 (patch) | |
tree | 3f54d7b1cbac47d31c252cb2ad0dd63cc1290751 /cmake | |
parent | 58bfe9da54fb548031367f529823f20cc6f22b70 (diff) | |
download | mariadb-git-6afe013cde26ac9a038b705ac676d1c49d4280a1.tar.gz |
always build wsrep libraries static
even if -DBUILD_SHARED_LIBS=ON was used
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/wsrep.cmake | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cmake/wsrep.cmake b/cmake/wsrep.cmake index 0f97c0740ff..a6d843e5591 100644 --- a/cmake/wsrep.cmake +++ b/cmake/wsrep.cmake @@ -17,6 +17,7 @@ # # Galera library does not compile with windows # +IF (NOT WITHOUT_SERVER) IF(UNIX) SET(with_wsrep_default ON) ELSE() @@ -57,4 +58,10 @@ Then restart the build. endif() INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/wsrep-lib/include) INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/wsrep-lib/wsrep-API/v26) + + SET(old_BUILD_SHARED_LIBS ${BUILD_SHARED_LIBS}) + SET(BUILD_SHARED_LIBS OFF) + ADD_SUBDIRECTORY(wsrep-lib) + SET(BUILD_SHARED_LIBS ${old_BUILD_SHARED_LIBS}) ENDIF() +ENDIF(NOT WITHOUT_SERVER) |