Disabling CMS by default

whaaswijk · May 7, 2018 · ca15274 · ca15274
1 parent dd600fd
commit ca15274
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -13,7 +13,7 @@ option(PERCY_BENCH "Build benchmarks" OFF)
 option(PERCY_BUILD_KITTY "Build kitty for percy" ON)
 option(PERCY_BUILD_ABC "Build abc for percy" ON)
 option(PERCY_USE_SYRUP "Use glucose-syrup instead of glucose" ON)
-option(PERCY_BUILD_CMS "Enables support for CryptoMinisat" ON)
+option(PERCY_BUILD_CMS "Enables support for CryptoMinisat" OFF)
 
 externalproject_add(
 	nauty

diff --git a/test/cms_equivalence.cpp b/test/cms_equivalence.cpp
@@ -74,6 +74,7 @@ void check_std_equivalence(bool full_coverage)
 *******************************************************************************/
 int main(int argc, char **argv)
 {
+#ifdef USE_CMS
     bool full_coverage = false;
     if (argc > 1) {
         full_coverage = true;
@@ -87,6 +88,7 @@ int main(int argc, char **argv)
     check_std_equivalence<2>(full_coverage);
     check_std_equivalence<3>(full_coverage);
     check_std_equivalence<4>(full_coverage);
+#endif
 
     return 0;
 }