Merge pull request #8501 from diffblue/cleanup-SATCHECK-defines

remove duplicate SATCHECK_* defines
diffblue · Nov 12, 2024 · 0db546b · 0db546b
2 parents 83f61a4 + fd53c32
commit 0db546b
Showing 1 changed file with 0 additions and 32 deletions.
diff --git a/src/config.inc b/src/config.inc
@@ -42,38 +42,6 @@ ifeq ($(BOOLEFORCE)$(CHAFF)$(GLUCOSE)$(IPASIR)$(LINGELING)$(MINISAT)$(MINISAT2)$
   MINISAT2 = ../../minisat-2.2.1
 endif
 
-ifneq ($(PICOSAT),)
-  CP_CXXFLAGS += -DSATCHECK_PICOSAT
-endif
-
-ifneq ($(LINGELING),)
-  CP_CXXFLAGS += -DSATCHECK_LINGELING
-endif
-
-ifneq ($(CHAFF),)
-  CP_CXXFLAGS += -DSATCHECK_CHAFF
-endif
-
-ifneq ($(BOOLEFORCE),)
-  CP_CXXFLAGS += -DSATCHECK_BOOLEFORCE
-endif
-
-ifneq ($(MINISAT),)
-  CP_CXXFLAGS += -DSATCHECK_MINISAT
-endif
-
-ifneq ($(MINISAT2),)
-  CP_CXXFLAGS += -DSATCHECK_MINISAT2
-endif
-
-ifneq ($(GLUCOSE),)
-  CP_CXXFLAGS += -DSATCHECK_GLUCOSE
-endif
-
-ifneq ($(CADICAL),)
-  CP_CXXFLAGS += -DSATCHECK_CADICAL
-endif
-
 # Signing identity for MacOS Gatekeeper
 
 OSX_IDENTITY="Developer ID Application: Daniel Kroening"