version 1.15, 2001/12/28 02:17:33 |
version 1.27, 2004/06/15 00:56:52 |
|
|
* 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.14 2001/12/27 07:51:17 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.26 2004/03/05 02:26:53 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
#if PARI |
#if defined(PARI) |
#include "genpari.h" |
#include "genpari.h" |
|
|
/* XXX : environment is defined in libpari.a */ |
/* XXX : environment is defined in libpari.a */ |
|
# if !(PARI_VERSION_CODE > 131588) |
extern jmp_buf environnement; |
extern jmp_buf environnement; |
|
# endif |
#endif |
#endif |
|
|
extern JMP_BUF main_env; |
extern JMP_BUF main_env; |
Line 92 main(int argc,char *argv[]) |
|
Line 94 main(int argc,char *argv[]) |
|
extern int read_exec_file; |
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 int asir_setenv; |
extern FILE *in_fp; |
extern FILE *in_fp; |
extern int *StackBottom; |
extern int *StackBottom; |
char *getenv(); |
char *getenv(); |
char *homedir; |
char *homedir; |
char *ptr; |
char *ptr; |
#if !defined(VISUAL) |
#if !defined(VISUAL) |
char *slash,*binname; |
char *slash,*bslash,*binname,*p; |
#endif |
#endif |
|
|
StackBottom = &tmp; |
StackBottom = &tmp; |
#if MPI |
GC_init(); |
|
#if defined(MPI) |
mpi_init(); |
mpi_init(); |
if ( mpi_myid ) { |
if ( mpi_myid ) { |
int slave_argc; |
int slave_argc; |
Line 117 main(int argc,char *argv[]) |
|
Line 122 main(int argc,char *argv[]) |
|
ox_mpi_master_init(); |
ox_mpi_master_init(); |
#elif !defined(VISUAL) |
#elif !defined(VISUAL) |
slash = (char *)rindex(argv[0],'/'); |
slash = (char *)rindex(argv[0],'/'); |
|
bslash = (char *)rindex(argv[0],'\\'); |
if ( slash ) |
if ( slash ) |
binname = slash+1; |
binname = slash+1; |
|
else if ( bslash ) |
|
binname = bslash+1; |
else |
else |
binname = argv[0]; |
binname = argv[0]; |
|
for ( p = binname; *p; p++ ) |
|
*p = tolower(*p); |
if ( !strncmp(binname,"ox_asir",strlen("ox_asir")) ) { |
if ( !strncmp(binname,"ox_asir",strlen("ox_asir")) ) { |
/* never return */ |
/* never return */ |
ox_main(argc,argv); |
ox_main(argc,argv); |
exit(0); |
exit(0); |
#if DO_PLOT |
#if defined(DO_PLOT) |
} else if ( !strncmp(binname,"ox_plot",strlen("ox_plot")) ) { |
} else if ( !strncmp(binname,"ox_plot",strlen("ox_plot")) ) { |
/* never return */ |
/* never return */ |
ox_plot_main(argc,argv); |
ox_plot_main(argc,argv); |
Line 144 main(int argc,char *argv[]) |
|
Line 154 main(int argc,char *argv[]) |
|
rtime_init(); |
rtime_init(); |
env_init(); |
env_init(); |
endian_init(); |
endian_init(); |
GC_init(); |
cppname_init(); |
process_args(--argc,++argv); |
process_args(--argc,++argv); |
#if PARI |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
#endif |
#endif |
copyright(); |
if (!do_quiet) { |
|
copyright(); |
|
} |
output_init(); |
output_init(); |
arf_init(); |
arf_init(); |
nglob_init(); |
nglob_init(); |
Line 160 main(int argc,char *argv[]) |
|
Line 172 main(int argc,char *argv[]) |
|
pf_init(); |
pf_init(); |
sysf_init(); |
sysf_init(); |
parif_init(); |
parif_init(); |
|
order_init(); |
|
/* XXX set the default ordering */ |
#if defined(VISUAL) |
#if defined(VISUAL) |
init_socket(); |
init_socket(); |
#endif |
#endif |
Line 182 main(int argc,char *argv[]) |
|
Line 196 main(int argc,char *argv[]) |
|
} |
} |
|
|
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
input_init(ifp,ifname); |
if (!asir_setenv) { |
|
input_init(ifp,ifname); |
|
}else { |
|
asir_infile=NULL; |
|
loadasirfile(ifname); |
|
} |
if ( !SETJMP(main_env) ) { |
if ( !SETJMP(main_env) ) { |
read_exec_file = 1; |
read_exec_file = 1; |
read_eval_loop(); |
read_eval_loop(); |
Line 191 main(int argc,char *argv[]) |
|
Line 210 main(int argc,char *argv[]) |
|
fclose(ifp); |
fclose(ifp); |
} |
} |
|
|
if ( do_file ) |
if ( do_file ) { |
input_init(in_fp,"stdin"); |
if (!asir_setenv) { |
else |
input_init(in_fp,"stdin"); |
|
}else { |
|
asir_infile=NULL; |
|
loadasirfile(do_filename); |
|
} |
|
}else |
input_init(stdin,"stdin"); |
input_init(stdin,"stdin"); |
prompt(); |
prompt(); |
while ( 1 ) { |
while ( 1 ) { |
#if PARI |
#if defined(PARI) |
recover(0); |
recover(0); |
/* XXX environement is defined in libpari.a */ |
/* XXX environement is defined in libpari.a */ |
|
# if !(PARI_VERSION_CODE > 131588) |
if ( setjmp(environnement) ) { |
if ( setjmp(environnement) ) { |
avma = top; recover(1); |
avma = top; recover(1); |
resetenv(""); |
resetenv(""); |
} |
} |
|
# endif |
#endif |
#endif |
if ( SETJMP(main_env) ) |
if ( SETJMP(main_env) ) |
prompt(); |
prompt(); |
|
restore_handler(); |
read_eval_loop(); |
read_eval_loop(); |
} |
} |
} |
} |