cmake: Enable shared by default.

Further, force shared builds in case of unit tests.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f39af023dca52bcdd8c868019ef006ae71955800..aa4f5fa796308beebea05e8f5012966713d04ba8 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -268,6 +268,9 @@ endif()
 if(ENABLE_UNIT_TESTING)
        find_package(CxxTest REQUIRED)
        enable_testing()
+  # Force shared libs for unit tests, static libs with unit tests are not
+  # working right now.
+  set(ENABLE_SHARED ON)
 endif()
 
 if(ENABLE_SHARED)

diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake
index a7c7cb961a43e9b6dfc125f4941a2e4e2b837b46..3741d027fcd469043ffda0c83c406c3a32f19dae 100644 (file)
--- a/cmake/ConfigCompetition.cmake
+++ b/cmake/ConfigCompetition.cmake
@@ -26,5 +26,5 @@ cvc4_set_option(ENABLE_MUZZLE ON)
 # enable_valgrind=no
 cvc4_set_option(ENABLE_VALGRIND OFF)
 # enable_shared=no
-cvc4_set_option(ENABLE_SHARED OFF)
 cvc4_set_option(ENABLE_UNIT_TESTING OFF)
+cvc4_set_option(ENABLE_SHARED ON)

diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake
index 9decc07be3f067037b4010d27394894615e2b5d8..8ef93d11160b68dfaf8161c7b76c7c6c1312c160 100644 (file)
--- a/cmake/ConfigDebug.cmake
+++ b/cmake/ConfigDebug.cmake
@@ -24,3 +24,4 @@ cvc4_set_option(ENABLE_DUMPING ON)
 cvc4_set_option(ENABLE_MUZZLE OFF)
 # enable_valgrind=optional
 cvc4_set_option(ENABLE_UNIT_TESTING ON)
+cvc4_set_option(ENABLE_SHARED ON)

diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake
index 3b9a1ce98e8e66c576214b5b7d13313158993822..dc33051667c5d52c2471a948a7e38914bfeabb13 100644 (file)
--- a/cmake/ConfigProduction.cmake
+++ b/cmake/ConfigProduction.cmake
@@ -22,3 +22,4 @@ cvc4_set_option(ENABLE_MUZZLE OFF)
 # enable_valgrind=no
 cvc4_set_option(ENABLE_VALGRIND OFF)
 cvc4_set_option(ENABLE_UNIT_TESTING OFF)
+cvc4_set_option(ENABLE_SHARED ON)

diff --git a/cmake/ConfigTesting.cmake b/cmake/ConfigTesting.cmake
index 3b359af9300e30acb17a3faf41668cceb029e3a9..5b6c46ebb73fa78c9fd8f22ae122187250b0d362 100644 (file)
--- a/cmake/ConfigTesting.cmake
+++ b/cmake/ConfigTesting.cmake
@@ -22,3 +22,4 @@ cvc4_set_option(ENABLE_MUZZLE OFF)
 # enable_valgrind=no
 cvc4_set_option(ENABLE_VALGRIND OFF)
 cvc4_set_option(ENABLE_UNIT_TESTING ON)
+cvc4_set_option(ENABLE_SHARED ON)