version 1.20, 2003/03/07 06:39:59 |
version 1.33, 2006/09/28 07:43:45 |
|
|
* 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.19 2003/03/07 03:12:31 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.32 2006/09/26 05:35:26 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
#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 73 extern JMP_BUF main_env; |
|
Line 75 extern JMP_BUF main_env; |
|
double get_current_time(); |
double get_current_time(); |
void init_socket(); |
void init_socket(); |
void recover(); |
void recover(); |
|
void set_stacksize(); |
|
|
extern int mpi_nprocs,mpi_myid; |
extern int mpi_nprocs,mpi_myid; |
|
|
Line 89 main(int argc,char *argv[]) |
|
Line 92 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 int asir_setenv; |
extern FILE *in_fp; |
extern FILE *in_fp; |
extern int *StackBottom; |
extern int *StackBottom; |
char *getenv(); |
char *getenv(); |
Line 101 main(int argc,char *argv[]) |
|
Line 105 main(int argc,char *argv[]) |
|
char *slash,*bslash,*binname,*p; |
char *slash,*bslash,*binname,*p; |
#endif |
#endif |
|
|
|
set_stacksize(); |
StackBottom = &tmp; |
StackBottom = &tmp; |
|
GC_init(); |
#if defined(MPI) |
#if defined(MPI) |
mpi_init(); |
mpi_init(); |
if ( mpi_myid ) { |
if ( mpi_myid ) { |
Line 149 main(int argc,char *argv[]) |
|
Line 155 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 defined(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 165 main(int argc,char *argv[]) |
|
Line 173 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 186 main(int argc,char *argv[]) |
|
Line 196 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")) ) { |
input_init(ifp,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 ) |
|
input_init(in_fp,"stdin"); |
|
else |
|
input_init(stdin,"stdin"); |
|
prompt(); |
prompt(); |
while ( 1 ) { |
while ( 1 ) { |
#if defined(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(); |
|
if ( !do_file ) { |
|
if ( SETJMP(asir_infile->jmpbuf) ) |
|
prompt(); |
|
else |
|
asir_infile->ready_for_longjmp = 1; |
|
} |
|
restore_handler(); |
read_eval_loop(); |
read_eval_loop(); |
} |
} |
} |
} |
Line 222 main(int argc,char *argv[]) |
|
Line 241 main(int argc,char *argv[]) |
|
void set_error(int code,char *reason,char *action) |
void set_error(int code,char *reason,char *action) |
{} |
{} |
#endif |
#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 |
|
} |