]> git.pld-linux.org Git - packages/ocaml.git/blame - ocaml-opt-symbols.patch
- defattr for examples
[packages/ocaml.git] / ocaml-opt-symbols.patch
CommitLineData
b68676b5
MM
1diff -ur ocaml-3.04/byterun/meta.c ocaml-3.04-/byterun/meta.c
2--- ocaml-3.04/byterun/meta.c Fri Dec 7 14:39:32 2001
ef4bf8e4
MM
3+++ ocaml-3.04-/byterun/meta.c Mon May 20 23:54:41 2002
4@@ -142,4 +142,29 @@
b68676b5
MM
5 return Val_unit; /* not reached */
6 }
7
8+value * stack_low;
9+value * stack_high;
10+value * stack_threshold;
11+value * extern_sp;
12+value * trapsp;
13+int backtrace_active;
14+int backtrace_pos;
15+code_t * backtrace_buffer;
16+value backtrace_last_exn;
17+int callback_depth;
18+int volatile something_to_do;
19+void (* volatile async_action_hook)(void);
20+void print_exception_backtrace(void) { }
21+struct longjmp_buffer * external_raise;
ef4bf8e4
MM
22+
23+value array_get(value array, value index) {return Val_unit;}
24+value array_get_addr(value array, value index) {return Val_unit;}
25+value array_get_float(value array, value index) {return Val_unit;}
26+value array_set(value array, value index, value newval) {return Val_unit;}
27+value array_set_addr(value array, value index, value newval) {return Val_unit;}
28+value array_set_float(value array, value index, value newval) {return Val_unit;}
29+header_t atom_table[1];
30+c_primitive builtin_cprim[1];
31+struct caml__roots_block *local_roots;
b68676b5
MM
32+
33 #endif
34diff -ur ocaml-3.04/otherlibs/systhreads/Makefile ocaml-3.04-/otherlibs/systhreads/Makefile
ef4bf8e4
MM
35--- ocaml-3.04/otherlibs/systhreads/Makefile Fri Dec 7 14:40:18 2001
36+++ ocaml-3.04-/otherlibs/systhreads/Makefile Mon May 20 23:50:18 2002
b68676b5
MM
37@@ -31,7 +31,7 @@
38 allopt: libthreadsnat.a threads.cmxa
39
40 libthreads.a: $(BYTECODE_C_OBJS)
41- $(MKLIB) -o threads $(BYTECODE_C_OBJS)
42+ $(MKLIB) -o threads $(BYTECODE_C_OBJS) $(PTHREAD_LINK)
43
44 posix_b.o: posix.c
45 $(BYTECC) -O -I../../byterun $(BYTECCCOMPOPTS) $(SHAREDCCCOMPOPTS) \
This page took 0.033195 seconds and 4 git commands to generate.