From 7e1ce2a16c2ccbeeece41b4457e6451f4e7faa8b Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Sun, 6 Jan 2019 12:06:53 +0700
Subject: [PATCH] Define NO_Z3_DEBUGGER for iOS builds.

This is defined because we can't call `system` (via `invoke_gdb`)
on iOS and related platforms.
---
 src/util/debug.h | 7 +++++++
 1 file changed, 7 insertions(+)

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