summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2002-02-21 13:54:44 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2002-02-21 13:54:44 +0000
commitc11df14a4dc276587902a6fd49f06e0930e7e204 (patch)
treec68046d7dfc262bc68e44c9460e8b5baaed71c11
parent865d5f2e356da30fd9a532c866e40360a6a7aa34 (diff)
PR#643,728,869: inclure des definitions bidon de variables utilisees par otherlibs/threads/scheduler.c afin de pouvoir faire ocamlc.opt threads.cma
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--byterun/meta.c14
1 files changed, 14 insertions, 0 deletions
diff --git a/byterun/meta.c b/byterun/meta.c
index 8968498d3..53265a819 100644
--- a/byterun/meta.c
+++ b/byterun/meta.c
@@ -142,4 +142,18 @@ value invoke_traced_function(value codeptr, value env, value arg)
return Val_unit; /* not reached */
}
+value * stack_low;
+value * stack_high;
+value * stack_threshold;
+value * extern_sp;
+value * trapsp;
+int backtrace_active;
+int backtrace_pos;
+code_t * backtrace_buffer;
+value backtrace_last_exn;
+int callback_depth;
+int volatile something_to_do;
+void (* volatile async_action_hook)(void);
+void print_exception_backtrace(void) { }
+
#endif