version 1.6, 2003/02/14 22:29:17 |
version 1.10, 2015/08/06 10:01:53 |
|
|
* 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/asir_lib.c,v 1.5 2001/10/09 01:36:23 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/asir_lib.c,v 1.9 2006/02/08 02:11:19 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
#endif |
#endif |
|
|
#if defined(PARI) |
#if defined(PARI) |
#include "genpari.h" |
# include "genpari.h" |
|
# if !(PARI_VERSION_CODE > 131588 ) |
extern jmp_buf environnement; |
extern jmp_buf environnement; |
|
# endif |
#endif |
#endif |
|
|
extern jmp_buf env; |
extern jmp_buf env; |
Line 71 void Init_Asir(int argc,char **argv) |
|
Line 72 void Init_Asir(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; |
char *getenv(); |
char *getenv(); |
static asirlib_initialized=0; |
static asirlib_initialized=0; |
|
|
if ( asirlib_initialized ) |
if ( asirlib_initialized ) |
return; |
return; |
|
GC_init(); |
asirlib_initialized = 1; |
asirlib_initialized = 1; |
do_file = 1; |
do_file = 1; |
#if defined(PARI) |
#if defined(PARI) |
Line 92 void Init_Asir(int argc,char **argv) |
|
Line 93 void Init_Asir(int argc,char **argv) |
|
rtime_init(); |
rtime_init(); |
env_init(); |
env_init(); |
endian_init(); |
endian_init(); |
#if !defined(VISUAL) && !defined(THINK_C) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) && !defined(THINK_C) |
/* check_key(); */ |
/* check_key(); */ |
#endif |
#endif |
GC_init(); |
|
process_args(--argc,++argv); |
process_args(--argc,++argv); |
copyright(); |
copyright(); |
output_init(); |
output_init(); |
Line 118 void Init_Asir(int argc,char **argv) |
|
Line 118 void Init_Asir(int argc,char **argv) |
|
#endif |
#endif |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
input_init(ifp,ifname); |
input_init(ifp,ifname); |
if ( !setjmp(env) ) { |
if ( !setjmp(asir_infile->jmpbuf) ) |
read_exec_file = 1; |
|
read_eval_loop(); |
read_eval_loop(); |
read_exec_file = 0; |
|
} |
|
fclose(ifp); |
fclose(ifp); |
} else |
} else |
error(".asirrc not found"); |
error(".asirrc not found"); |
Line 137 int Call_Asir(char *cmd,pointer *result) |
|
Line 134 int Call_Asir(char *cmd,pointer *result) |
|
void recover(int); |
void recover(int); |
|
|
recover(0); |
recover(0); |
|
# if !(PARI_VERSION_CODE > 131588) |
if ( setjmp(environnement) ) { |
if ( setjmp(environnement) ) { |
avma = top; recover(1); |
avma = top; recover(1); |
error("PARI error"); |
error("PARI error"); |
} |
} |
|
# endif |
#endif |
#endif |
if ( setjmp(env) ) { |
if ( setjmp(env) ) { |
*result = 0; |
*result = 0; |