hack: undef status_interrupted to fix windows build

SRI-CSL · Oct 10, 2023 · 8638a19 · 8638a19
1 parent 95f13c6
commit 8638a19
Showing 1 changed file with 9 additions and 0 deletions.
diff --git 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
  */