version 1.72, 2014/05/09 19:35:51 |
version 1.73, 2015/08/04 06:20:45 |
|
|
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* 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/io/ox_asir.c,v 1.71 2013/06/13 18:42:11 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/io/ox_asir.c,v 1.72 2014/05/09 19:35:51 ohara Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
#include "signal.h" |
#include "signal.h" |
#include "ox.h" |
#include "ox.h" |
#include "version.h" |
#include "version.h" |
#if defined(PARI) |
|
#include "genpari.h" |
|
#endif |
|
|
|
char *find_asirrc(); |
char *find_asirrc(); |
void ox_usr1_handler(); |
void ox_usr1_handler(); |
int asir_ox_init(); |
int asir_ox_init(); |
|
|
/* environement is defined in libpari.a */ |
/* environement is defined in libpari.a */ |
|
#if 0 |
# if !( PARI_VERSION_CODE > 131588) |
# if !( PARI_VERSION_CODE > 131588) |
extern jmp_buf environnement; |
extern jmp_buf environnement; |
# endif |
# endif |
|
#endif |
extern int myrank_102,nserver_102; |
extern int myrank_102,nserver_102; |
|
|
extern int do_message; |
extern int do_message; |
Line 706 int asir_executeString() |
|
Line 705 int asir_executeString() |
|
SNODE snode; |
SNODE snode; |
pointer val; |
pointer val; |
char *cmd; |
char *cmd; |
|
#if 0 |
#if defined(PARI) |
#if defined(PARI) |
recover(0); |
recover(0); |
/* environement is defined in libpari.a */ |
/* environement is defined in libpari.a */ |
Line 716 int asir_executeString() |
|
Line 716 int asir_executeString() |
|
} |
} |
# endif |
# endif |
#endif |
#endif |
|
#endif |
cmd = ((STRING)asir_pop_one())->body; |
cmd = ((STRING)asir_pop_one())->body; |
/* XXX : probably this is useless */ |
/* XXX : probably this is useless */ |
#if 0 |
#if 0 |
Line 956 void ox_asir_init(int argc,char **argv,char *servernam |
|
Line 957 void ox_asir_init(int argc,char **argv,char *servernam |
|
do_server_in_X11 = 1; /* XXX */ |
do_server_in_X11 = 1; /* XXX */ |
#endif |
#endif |
asir_save_handler(); |
asir_save_handler(); |
|
#if 0 |
#if defined(PARI) |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
#endif |
#endif |
|
#endif |
srandom((int)get_current_time()); |
srandom((int)get_current_time()); |
|
|
rtime_init(); |
rtime_init(); |
Line 1231 int asir_ox_init(int byteorder) |
|
Line 1234 int asir_ox_init(int byteorder) |
|
do_server_in_X11 = 0; /* XXX */ |
do_server_in_X11 = 0; /* XXX */ |
#endif |
#endif |
asir_save_handler(); |
asir_save_handler(); |
|
#if 0 |
#if defined(PARI) |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
|
#endif |
#endif |
#endif |
srandom((int)get_current_time()); |
srandom((int)get_current_time()); |
|
|