diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-21 13:54:44 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-21 13:54:44 +0000 |
commit | c11df14a4dc276587902a6fd49f06e0930e7e204 (patch) | |
tree | c68046d7dfc262bc68e44c9460e8b5baaed71c11 | |
parent | 865d5f2e356da30fd9a532c866e40360a6a7aa34 (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.c | 14 |
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 |