Merge pull request Z3Prover#2073 from waywardmonkeys/emscripten-no-debug

Define NO_Z3_DEBUGGER for emscripten builds.
VeriFIT · Jan 10, 2019 · 1e4662e · 1e4662e
2 parents efaab6d + d757c34
commit 1e4662e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/util/debug.h b/src/util/debug.h
@@ -51,6 +51,10 @@ bool assertions_enabled();
 #endif
 #endif
 
+#ifdef __EMSCRIPTEN__
+#define NO_Z3_DEBUGGER
+#endif
+
 #ifdef NO_Z3_DEBUGGER
 #define INVOKE_DEBUGGER() exit(ERR_INTERNAL_FATAL)
 #else