From e53b580cb463ac36b369823ead3b81d7308b02bf Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 7 Jan 2016 15:58:10 +0000
Subject: [PATCH] added compiler macro to disable invocation of the debugger
 upon failure.

---
 src/util/debug.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/util/debug.h b/src/util/debug.h
index 439a19b27..6e295dcaa 100644
--- a/src/util/debug.h
+++ b/src/util/debug.h
@@ -44,12 +44,16 @@ bool assertions_enabled();
 #define DEBUG_CODE(CODE) ((void) 0)
 #endif
 
+#ifdef NO_Z3_DEBUGGER
+#define INVOKE_DEBUGGER() exit(ERR_INTERNAL_FATAL)
+#else
 #ifdef _WINDOWS
 #define INVOKE_DEBUGGER() __debugbreak()
 #else
 void invoke_gdb();
 #define INVOKE_DEBUGGER() invoke_gdb()
 #endif
+#endif
 
 void notify_assertion_violation(const char * file_name, int line, const char * condition);
 void enable_debug(const char * tag);