=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/main.c,v retrieving revision 1.24 retrieving revision 1.33 diff -u -p -r1.24 -r1.33 --- OpenXM_contrib2/asir2000/parse/main.c 2004/01/07 06:25:42 1.24 +++ OpenXM_contrib2/asir2000/parse/main.c 2006/09/28 07:43:45 1.33 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.23 2003/12/23 06:30:14 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.32 2006/09/26 05:35:26 noro Exp $ */ #include "ca.h" #include "parse.h" @@ -54,7 +54,9 @@ #include "genpari.h" /* XXX : environment is defined in libpari.a */ +# if !(PARI_VERSION_CODE > 131588) extern jmp_buf environnement; +# endif #endif extern JMP_BUF main_env; @@ -73,6 +75,7 @@ extern JMP_BUF main_env; double get_current_time(); void init_socket(); void recover(); +void set_stacksize(); extern int mpi_nprocs,mpi_myid; @@ -89,7 +92,6 @@ main(int argc,char *argv[]) FILE *ifp; char ifname[BUFSIZ]; extern int GC_dont_gc; - extern int read_exec_file; extern int do_asirrc; extern int do_file; extern char *do_filename; @@ -103,7 +105,9 @@ main(int argc,char *argv[]) char *slash,*bslash,*binname,*p; #endif + set_stacksize(); StackBottom = &tmp; + GC_init(); #if defined(MPI) mpi_init(); if ( mpi_myid ) { @@ -151,7 +155,6 @@ main(int argc,char *argv[]) rtime_init(); env_init(); endian_init(); - GC_init(); cppname_init(); process_args(--argc,++argv); #if defined(PARI) @@ -170,6 +173,8 @@ main(int argc,char *argv[]) pf_init(); sysf_init(); parif_init(); + order_init(); + /* XXX set the default ordering */ #if defined(VISUAL) init_socket(); #endif @@ -191,42 +196,40 @@ main(int argc,char *argv[]) sprintf(ifname,"%s/." ASIRRCNAME,homedir); } + if ( do_file ) { + asir_infile=NULL; + loadasirfile(do_filename); + } else { + /* the bottom of the input stack */ + input_init(stdin,"stdin"); + } + if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { - if (!asir_setenv) { - input_init(ifp,ifname); - }else { - asir_infile=NULL; - loadasirfile(ifname); - } - if ( !SETJMP(main_env) ) { - read_exec_file = 1; - read_eval_loop(); - read_exec_file = 0; - } fclose(ifp); + if ( !SETJMP(main_env) ) + execasirfile(ifname); } - if ( do_file ) { - if (!asir_setenv) { - input_init(in_fp,"stdin"); - }else { - asir_infile=NULL; - loadasirfile(do_filename); - } - }else - input_init(stdin,"stdin"); prompt(); while ( 1 ) { #if defined(PARI) recover(0); /* XXX environement is defined in libpari.a */ +# if !(PARI_VERSION_CODE > 131588) if ( setjmp(environnement) ) { avma = top; recover(1); resetenv(""); } +# endif #endif if ( SETJMP(main_env) ) prompt(); + if ( !do_file ) { + if ( SETJMP(asir_infile->jmpbuf) ) + prompt(); + else + asir_infile->ready_for_longjmp = 1; + } restore_handler(); read_eval_loop(); } @@ -238,3 +241,17 @@ main(int argc,char *argv[]) void set_error(int code,char *reason,char *action) {} #endif + +void set_stacksize() +{ +#if !defined(VISUAL) + struct rlimit rlim; + int c,m; + + getrlimit(RLIMIT_STACK,&rlim); + if ( rlim.rlim_cur < (1<<26) ) { + rlim.rlim_cur = MIN(1<<26,rlim.rlim_max); + setrlimit(RLIMIT_STACK,&rlim); + } +#endif +}