=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/main.c,v retrieving revision 1.26 retrieving revision 1.34 diff -u -p -r1.26 -r1.34 --- OpenXM_contrib2/asir2000/parse/main.c 2004/03/05 02:26:53 1.26 +++ OpenXM_contrib2/asir2000/parse/main.c 2013/12/19 05:48:24 1.34 @@ -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.25 2004/02/13 05:48:36 saito Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.33 2006/09/28 07:43:45 noro Exp $ */ #include "ca.h" #include "parse.h" @@ -61,20 +61,15 @@ extern jmp_buf environnement; extern JMP_BUF main_env; -#if defined(INTERVAL) #ifndef ASIRRCNAME -#define ASIRRCNAME "int_asirrc" -#endif -#else -#ifndef ASIRRCNAME #define ASIRRCNAME "asirrc" #endif -#endif double get_current_time(); void init_socket(); void recover(); +void set_stacksize(); extern int mpi_nprocs,mpi_myid; @@ -91,7 +86,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; @@ -105,7 +99,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 ) { @@ -153,7 +149,6 @@ main(int argc,char *argv[]) rtime_init(); env_init(); endian_init(); - GC_init(); cppname_init(); process_args(--argc,++argv); #if defined(PARI) @@ -195,30 +190,20 @@ 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) @@ -233,6 +218,12 @@ main(int argc,char *argv[]) #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(); } @@ -244,3 +235,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 +}