===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/main.c,v
retrieving revision 1.6
retrieving revision 1.12
diff -u -p -r1.6 -r1.12
--- OpenXM_contrib2/asir2000/parse/main.c	2000/11/14 08:38:40	1.6
+++ OpenXM_contrib2/asir2000/parse/main.c	2001/12/20 08:18:27	1.12
@@ -45,13 +45,10 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.5 2000/08/22 05:04:27 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.11 2001/10/09 01:36:24 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
-#if defined(THINK_C)
-#include <console.h>
-#endif
 
 #if PARI
 #include "genpari.h"
@@ -59,21 +56,33 @@
 extern jmp_buf environnement;
 #endif
 
-extern jmp_buf env;
+extern jmp_buf main_env;
 
+#if defined(INTERVAL)
+#ifndef ASIRRCNAME
+#define ASIRRCNAME      "int_asirrc"
+#endif
+#else
+#ifndef ASIRRCNAME
+#define ASIRRCNAME      "asirrc"
+#endif
+#endif
+
+
 double get_current_time();
+void init_socket();
+void recover();
+
 extern int mpi_nprocs,mpi_myid;
 
 #if defined(VISUAL_LIB)
-void Main(argc,argv)
+void Main(int argc,char *argv[])
 #else
 #if defined(VISUAL)
 void
 #endif
-main(argc,argv)
+main(int argc,char *argv[])
 #endif
-int argc;
-char *argv[];
 {
 	int tmp;
 	FILE *ifp;
@@ -83,11 +92,15 @@ char *argv[];
 	extern int do_asirrc;
 	extern int do_file;
 	extern FILE *in_fp;
+	extern int *StackBottom;
 	char *getenv();
 	char *homedir;
-	char *slash,*binname;
 	char *ptr;
+#if !defined(VISUAL)
+	char *slash,*binname;
+#endif
 
+	StackBottom = &tmp;
 #if MPI
 	mpi_init();
 	if ( mpi_myid ) {
@@ -127,15 +140,9 @@ char *argv[];
 	srandom((int)get_current_time());
 /*	mt_sgenrand((unsigned long)get_current_time()); */
 
-#if defined(THINK_C)
-	param_init();
-#endif
 	rtime_init();
 	env_init();
 	endian_init();
-#if 0 && !defined(VISUAL) && !defined(THINK_C)
-	check_key();
-#endif
 	GC_init();
 	process_args(--argc,++argv);
 #if PARI 
@@ -163,9 +170,6 @@ char *argv[];
 	if ( ptr = getenv("ASIR_CONFIG") )
 		strcpy(ifname,ptr);
 	else {
-#if defined(THINK_C)
-		sprintf(ifname,"asirrc");
-#else
 		homedir = getenv("HOME");
 		if ( !homedir ) {
 			char rootname[BUFSIZ];
@@ -173,13 +177,12 @@ char *argv[];
 			get_rootdir(rootname,sizeof(rootname));
 			homedir = rootname;
 		}
-		sprintf(ifname,"%s/.asirrc",homedir);
-#endif
+		sprintf(ifname,"%s/." ASIRRCNAME,homedir);
 	}
 
 	if ( do_asirrc && (ifp = fopen(ifname,"r")) ) {
 		input_init(ifp,ifname);
-		if ( !setjmp(env) ) {
+		if ( !setjmp(main_env) ) {
 			read_exec_file = 1;
 			read_eval_loop();
 			read_exec_file = 0;
@@ -200,7 +203,7 @@ char *argv[];
 			resetenv("");
 		}
 #endif
-		if ( setjmp(env) )
+		if ( setjmp(main_env) )
 			prompt();
 		read_eval_loop();
 	}
@@ -209,8 +212,6 @@ char *argv[];
 #if !defined(VISUAL_LIB)
 /* a dummy function */
 
-void set_error(code,reasion,action)
-int code;
-char *reasion,*action;
+void set_error(int code,char *reason,char *action)
 {}
 #endif