===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v
retrieving revision 1.39
retrieving revision 1.42
diff -u -p -r1.39 -r1.42
--- OpenXM_contrib2/asir2000/parse/glob.c	2003/10/20 09:17:52	1.39
+++ OpenXM_contrib2/asir2000/parse/glob.c	2004/01/07 06:25:42	1.42
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.38 2003/10/19 02:54:41 ohara Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.41 2003/12/03 09:32:36 noro Exp $ 
 */
 #include "ca.h"
 #include "al.h"
@@ -179,9 +179,11 @@ void notdef(VL vl,Obj a,Obj b,Obj *c)
 
 int do_asirrc;
 int do_file;
+char *do_filename;
 int do_message;
 int do_fep;
 int read_exec_file;
+int asir_setenv;
 static int buserr_sav;
 static char asir_history[BUFSIZ];
 
@@ -334,7 +336,10 @@ void process_args(int ac,char **av)
 				asir_terminate(1);
 			}
 			do_file = 1;
+			do_filename = *(av+1);
 			av += 2; ac -= 2;
+		} else if ( !strcmp(*av,"-E") ) {
+			asir_setenv = 1; av++; ac--;
 		} else if ( !strcmp(*av,"-quiet") ) {
 			do_quiet = 1; av++; ac--;
 		} else if ( !strcmp(*av,"-norc") ) {
@@ -674,7 +679,28 @@ void error(char *s)
 	resetenv("return to toplevel");
 }
 
+void toplevel(char *s)
+{
+	SNODE *snp=0;
+
 #if !defined(VISUAL)
+	if ( timer_is_set )
+		alrm_handler(SIGVTALRM);
+#endif
+	fprintf(stderr,"%s\n",s);
+	if ( do_file ) {
+		char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */
+
+		sprintf(errbuf,"%s\n",s);
+		showpos_to_string(errbuf+strlen(errbuf));
+		ExitAsir();
+	}
+	if ( read_exec_file )
+		read_exec_file = 0;
+	resetenv("return to toplevel");
+}
+
+#if !defined(VISUAL)
 #include <sys/time.h>
 
 void set_timer(int interval)
@@ -717,7 +743,7 @@ void copyright() {
 #endif
 	printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n");
 	printf("Copyright 2000-2003, Risa/Asir committers, http://www.openxm.org/.\n");
-	printf("GC 6.1(alpha5) copyright 2001, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n");
+	printf("GC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n");
 #if PARI
 #if 0
 	printf("PARI 2.2.4, copyright (C) 2002 The PARI Group.\n");