version 1.26, 2004/03/05 02:26:53 |
version 1.29, 2006/02/25 06:33:31 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* 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.28 2006/02/08 02:11:19 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 91 main(int argc,char *argv[]) |
|
Line 91 main(int argc,char *argv[]) |
|
FILE *ifp; |
FILE *ifp; |
char ifname[BUFSIZ]; |
char ifname[BUFSIZ]; |
extern int GC_dont_gc; |
extern int GC_dont_gc; |
extern int read_exec_file; |
|
extern int do_asirrc; |
extern int do_asirrc; |
extern int do_file; |
extern int do_file; |
extern char *do_filename; |
extern char *do_filename; |
Line 106 main(int argc,char *argv[]) |
|
Line 105 main(int argc,char *argv[]) |
|
#endif |
#endif |
|
|
StackBottom = &tmp; |
StackBottom = &tmp; |
|
GC_init(); |
#if defined(MPI) |
#if defined(MPI) |
mpi_init(); |
mpi_init(); |
if ( mpi_myid ) { |
if ( mpi_myid ) { |
Line 153 main(int argc,char *argv[]) |
|
Line 153 main(int argc,char *argv[]) |
|
rtime_init(); |
rtime_init(); |
env_init(); |
env_init(); |
endian_init(); |
endian_init(); |
GC_init(); |
|
cppname_init(); |
cppname_init(); |
process_args(--argc,++argv); |
process_args(--argc,++argv); |
#if defined(PARI) |
#if defined(PARI) |
Line 195 main(int argc,char *argv[]) |
|
Line 194 main(int argc,char *argv[]) |
|
sprintf(ifname,"%s/." ASIRRCNAME,homedir); |
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 ( 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); |
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(); |
prompt(); |
while ( 1 ) { |
while ( 1 ) { |
#if defined(PARI) |
#if defined(PARI) |
Line 233 main(int argc,char *argv[]) |
|
Line 222 main(int argc,char *argv[]) |
|
#endif |
#endif |
if ( SETJMP(main_env) ) |
if ( SETJMP(main_env) ) |
prompt(); |
prompt(); |
|
if ( !do_file ) { |
|
if ( SETJMP(asir_infile->jmpbuf) ) |
|
prompt(); |
|
else |
|
asir_infile->ready_for_longjmp = 1; |
|
} |
restore_handler(); |
restore_handler(); |
read_eval_loop(); |
read_eval_loop(); |
} |
} |