version 1.11, 2001/10/09 01:36:24 |
version 1.13, 2001/12/25 02:39:06 |
|
|
* 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.10 2001/08/20 09:03:28 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.12 2001/12/20 08:18:27 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
#if PARI |
#if PARI |
#include "genpari.h" |
#include "genpari.h" |
|
|
extern jmp_buf environnement; |
extern JMP_BUF environnement; |
#endif |
#endif |
|
|
extern jmp_buf main_env; |
extern JMP_BUF main_env; |
|
|
#if defined(INTERVAL) |
#if defined(INTERVAL) |
#ifndef ASIRRCNAME |
#ifndef ASIRRCNAME |
|
|
|
|
extern int mpi_nprocs,mpi_myid; |
extern int mpi_nprocs,mpi_myid; |
|
|
#if MPI |
|
int *StackBottom; |
|
#endif |
|
|
|
#if defined(VISUAL_LIB) |
#if defined(VISUAL_LIB) |
void Main(int argc,char *argv[]) |
void Main(int argc,char *argv[]) |
#else |
#else |
|
|
main(int argc,char *argv[]) |
main(int argc,char *argv[]) |
#endif |
#endif |
{ |
{ |
|
int tmp; |
FILE *ifp; |
FILE *ifp; |
char ifname[BUFSIZ]; |
char ifname[BUFSIZ]; |
extern int GC_dont_gc; |
extern int GC_dont_gc; |
Line 95 main(int argc,char *argv[]) |
|
Line 92 main(int argc,char *argv[]) |
|
extern int do_asirrc; |
extern int do_asirrc; |
extern int do_file; |
extern int do_file; |
extern FILE *in_fp; |
extern FILE *in_fp; |
|
extern int *StackBottom; |
char *getenv(); |
char *getenv(); |
char *homedir; |
char *homedir; |
char *ptr; |
char *ptr; |
#if !defined(VISUAL) |
#if !defined(VISUAL) |
int tmp; |
|
char *slash,*binname; |
char *slash,*binname; |
#endif |
#endif |
|
|
#if MPI |
|
StackBottom = &tmp; |
StackBottom = &tmp; |
|
#if MPI |
mpi_init(); |
mpi_init(); |
if ( mpi_myid ) { |
if ( mpi_myid ) { |
int slave_argc; |
int slave_argc; |
Line 185 main(int argc,char *argv[]) |
|
Line 182 main(int argc,char *argv[]) |
|
|
|
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
input_init(ifp,ifname); |
input_init(ifp,ifname); |
if ( !setjmp(main_env) ) { |
if ( !SETJMP(main_env) ) { |
read_exec_file = 1; |
read_exec_file = 1; |
read_eval_loop(); |
read_eval_loop(); |
read_exec_file = 0; |
read_exec_file = 0; |
Line 201 main(int argc,char *argv[]) |
|
Line 198 main(int argc,char *argv[]) |
|
while ( 1 ) { |
while ( 1 ) { |
#if PARI |
#if PARI |
recover(0); |
recover(0); |
if ( setjmp(environnement) ) { |
if ( SETJMP(environnement) ) { |
avma = top; recover(1); |
avma = top; recover(1); |
resetenv(""); |
resetenv(""); |
} |
} |
#endif |
#endif |
if ( setjmp(main_env) ) |
if ( SETJMP(main_env) ) |
prompt(); |
prompt(); |
read_eval_loop(); |
read_eval_loop(); |
} |
} |