version 1.40, 2002/08/02 02:28:27 |
version 1.42, 2003/03/07 03:12:28 |
|
|
* 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.39 2002/02/25 06:47:39 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/io/ox_asir.c,v 1.41 2003/02/14 22:29:15 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 PARI |
#if defined(PARI) |
#include "genpari.h" |
#include "genpari.h" |
#endif |
#endif |
|
|
Line 487 int asir_executeString() |
|
Line 487 int asir_executeString() |
|
SNODE snode; |
SNODE snode; |
pointer val; |
pointer val; |
char *cmd; |
char *cmd; |
#if PARI |
#if defined(PARI) |
recover(0); |
recover(0); |
/* environement is defined in libpari.a */ |
/* environement is defined in libpari.a */ |
if ( setjmp(environnement) ) { |
if ( setjmp(environnement) ) { |
Line 657 void ox_asir_init(int argc,char **argv,char *servernam |
|
Line 657 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 PARI |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
#endif |
#endif |
srandom((int)get_current_time()); |
srandom((int)get_current_time()); |
Line 945 int asir_ox_init(int byteorder) |
|
Line 945 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 PARI |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
#endif |
#endif |
srandom((int)get_current_time()); |
srandom((int)get_current_time()); |