diff options
| author | Sauron <git@sauron.cf> | 2018-02-02 20:12:23 +0300 |
|---|---|---|
| committer | Jan Lindström <jan.lindstrom@mariadb.com> | 2018-02-15 09:14:35 +0200 |
| commit | 8db54f1ad55fad7396fb51850c7266352785ed6c (patch) | |
| tree | f1cac243c62df4a589a438f8fee11ef653f63c8a /wsrep | |
| parent | c6e35276f180bdcf5517bb682c46ba7df8a08186 (diff) | |
| download | mariadb-git-8db54f1ad55fad7396fb51850c7266352785ed6c.tar.gz | |
Prevent building WSREP without INNODB
Diffstat (limited to 'wsrep')
| -rw-r--r-- | wsrep/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/wsrep/CMakeLists.txt b/wsrep/CMakeLists.txt index 53c8e853078..ff2bdec4def 100644 --- a/wsrep/CMakeLists.txt +++ b/wsrep/CMakeLists.txt @@ -15,6 +15,10 @@ SET(WSREP_SOURCES wsrep_gtid.c wsrep_uuid.c wsrep_loader.c wsrep_dummy.c) +IF(NOT WITH_INNOBASE_STORAGE_ENGINE) + MESSAGE(WARNING "WSRep is enabled, but innodb is not. This configuration is not supported") +ENDIF() + ADD_CONVENIENCE_LIBRARY(wsrep ${WSREP_SOURCES}) DTRACE_INSTRUMENT(wsrep) |