diff --git a/src/util/debug.h b/src/util/debug.h
index 536df4588..ea702e8a7 100644
--- a/src/util/debug.h
+++ b/src/util/debug.h
@@ -44,6 +44,13 @@ bool assertions_enabled();
 #define DEBUG_CODE(CODE) ((void) 0)
 #endif
 
+#ifdef __APPLE__
+#include <TargetConditionals.h>
+#if !TARGET_OS_OSX
+#define NO_Z3_DEBUGGER
+#endif
+#endif
+
 #ifdef NO_Z3_DEBUGGER
 #define INVOKE_DEBUGGER() exit(ERR_INTERNAL_FATAL)
 #else