version 1.2, 2000/08/21 08:31:45 |
version 1.6, 2003/02/14 22:29:17 |
|
|
* shall be made on your publication or presentation in any form of the |
* shall be made on your publication or presentation in any form of the |
* results obtained by use of the SOFTWARE. |
* results obtained by use of the SOFTWARE. |
* (4) In the event that you modify the SOFTWARE, you shall notify FLL by |
* (4) In the event that you modify the SOFTWARE, you shall notify FLL by |
* e-mail at risa-admin@flab.fujitsu.co.jp of the detailed specification |
* e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification |
* for such modification or the source code of the modified part of the |
* for such modification or the source code of the modified part of the |
* SOFTWARE. |
* SOFTWARE. |
* |
* |
|
|
* 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.1.1.1 1999/12/03 07:39:11 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/asir_lib.c,v 1.5 2001/10/09 01:36:23 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
#include <console.h> |
#include <console.h> |
#endif |
#endif |
|
|
#if PARI |
#if defined(PARI) |
#include "genpari.h" |
#include "genpari.h" |
|
|
extern jmp_buf environnement; |
extern jmp_buf environnement; |
#endif |
#endif |
|
|
extern jmp_buf env; |
extern jmp_buf env; |
extern int *StackBottom; |
|
extern char *parse_strp; |
extern char *parse_strp; |
extern int do_file; |
extern int do_file; |
|
|
Line 69 int Call_Asir(char *,pointer *); |
|
Line 68 int Call_Asir(char *,pointer *); |
|
|
|
void Init_Asir(int argc,char **argv) |
void Init_Asir(int argc,char **argv) |
{ |
{ |
int tmp; |
|
FILE *ifp; |
FILE *ifp; |
char ifname[BUFSIZ]; |
char ifname[BUFSIZ]; |
extern int GC_dont_gc; |
extern int GC_dont_gc; |
Line 82 void Init_Asir(int argc,char **argv) |
|
Line 80 void Init_Asir(int argc,char **argv) |
|
return; |
return; |
asirlib_initialized = 1; |
asirlib_initialized = 1; |
do_file = 1; |
do_file = 1; |
#if PARI |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
#endif |
#endif |
srandom((int)get_current_time()); |
srandom((int)get_current_time()); |
Line 91 void Init_Asir(int argc,char **argv) |
|
Line 89 void Init_Asir(int argc,char **argv) |
|
#if defined(THINK_C) |
#if defined(THINK_C) |
param_init(); |
param_init(); |
#endif |
#endif |
StackBottom = &tmp + 1; /* XXX */ |
|
rtime_init(); |
rtime_init(); |
env_init(); |
env_init(); |
endian_init(); |
endian_init(); |
Line 136 int Call_Asir(char *cmd,pointer *result) |
|
Line 133 int Call_Asir(char *cmd,pointer *result) |
|
{ |
{ |
SNODE snode; |
SNODE snode; |
pointer val; |
pointer val; |
#if PARI |
#if defined(PARI) |
|
void recover(int); |
|
|
recover(0); |
recover(0); |
if ( setjmp(environnement) ) { |
if ( setjmp(environnement) ) { |
avma = top; recover(1); |
avma = top; recover(1); |