diff options
author | gregoire <gregoire@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-22 09:10:51 +0000 |
---|---|---|
committer | gregoire <gregoire@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-22 09:10:51 +0000 |
commit | a215993ad9e073fc09825742494ec06a9f8d6c84 (patch) | |
tree | a104125a1b9029473a05a36e70cfe9ce9e9c5212 /kernel/byterun/coq_memory.c | |
parent | 7371c43d5b065e83bbaaba584dc163cac2005802 (diff) |
compatibility with POWERPC
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6338 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/byterun/coq_memory.c')
-rw-r--r-- | kernel/byterun/coq_memory.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/kernel/byterun/coq_memory.c b/kernel/byterun/coq_memory.c index f94d2fb9e..db6aacb92 100644 --- a/kernel/byterun/coq_memory.c +++ b/kernel/byterun/coq_memory.c @@ -124,9 +124,11 @@ value init_coq_vm(value unit) /* ML */ if (coq_vm_initialized == 1) { fprintf(stderr,"already open \n");fflush(stderr);} else { - - /* Allocate the table of global and the stack */ drawinstr=0; +#ifdef THREADED_CODE + init_arity(); +#endif /* THREADED_CODE */ + /* Allocate the table of global and the stack */ init_coq_stack(); init_coq_global_data(Coq_global_data_Size); init_coq_global_boxed(40); @@ -138,9 +140,7 @@ value init_coq_vm(value unit) /* ML */ /* Some predefined pointer code */ accumulate = (code_t) coq_stat_alloc(sizeof(opcode_t)); - *accumulate = ACCUMULATE; - accumulate = - (code_t) coq_tcode_of_code((value)accumulate, Val_int(sizeof(opcode_t))); + *accumulate = VALINSTR(ACCUMULATE); /* Initialize GC */ if (coq_prev_scan_roots_hook == NULL) |