mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Define NO_Z3_DEBUGGER for iOS builds.
This is defined because we can't call `system` (via `invoke_gdb`) on iOS and related platforms.
This commit is contained in:
parent
e770f37f52
commit
7e1ce2a16c
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue