From a7802fd4693be31ceb4246112d42ca651f2264a9 Mon Sep 17 00:00:00 2001
From: Michael Zingale <michael.zingale@stonybrook.edu>
Date: Wed, 20 Sep 2023 21:28:58 -0400
Subject: [PATCH] emit error if USE_TRUE_SDC=TRUE and USE_SIMPLIFIED_SDC=TRUE
 (#2565)

---
 Exec/Make.Castro | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Exec/Make.Castro b/Exec/Make.Castro
index 8b105eff6d..8e6eb28599 100644
--- a/Exec/Make.Castro
+++ b/Exec/Make.Castro
@@ -89,6 +89,12 @@ ifeq ($(USE_SDC), TRUE)
   $(error USE_SDC is no longer supported.  Use with USE_SIMPLIFIED_SDC or USE_TRUE_SDC)
 endif
 
+ifeq ($(USE_SIMPLIFIED_SDC), TRUE)
+  ifeq ($(USE_TRUE_SDC), TRUE)
+    $(error USE_SIMPLIFIED_SDC cannot be combined with USE_TRUE_SDC)
+  endif
+endif
+
 # need to put any build suffices before Make.defs
 ifeq ($(USE_SIMPLIFIED_SDC), TRUE)
   USERSuffix = .SMPLSDC