From 8638a1987e5b6ef0a1151901bfd02a5ab2a6ee76 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <ahmed.irfan@sri.com>
Date: Mon, 9 Oct 2023 18:25:07 -0700
Subject: [PATCH] hack: undef status_interrupted to fix windows build

---
 src/include/yices_types.h | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/include/yices_types.h b/src/include/yices_types.h
index dfd28cb79..bdf927586 100644
--- a/src/include/yices_types.h
+++ b/src/include/yices_types.h
@@ -71,6 +71,15 @@ typedef struct ctx_config_s ctx_config_t;
 typedef struct param_s param_t;
 
 
+/*
+ * Hack for fixing windows build when using the thread-safe option.
+ * Better fix requires renaming symbols, so it will be done in the
+ * non-backward compatible release (2.8).
+ */
+#if defined(MINGW) && defined(THREAD_SAFE) && defined(STATUS_INTERRUPTED)
+#undef STATUS_INTERRUPTED
+#endif
+
 /*
  * Context status code
  */