From fd53c32f3926c8a970db0f66cc3c4a60048eb438 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Sun, 10 Nov 2024 19:36:07 +0000
Subject: [PATCH] remove duplicate SATCHECK_* defines

The SATCHECK_* defines (e.g., SATCHECK_MINISAT2) are defined both in
src/solvers/satcheck.h, and in config.inc.

This removes the instance in config.inc, in an effort to de-clutter the
compiler command line.  Users of the macros can include the header file.
---
 src/config.inc | 32 --------------------------------
 1 file changed, 32 deletions(-)

diff --git a/src/config.inc b/src/config.inc
index 85c87c9e7ab..937a46013ff 100644
--- 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"