===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/sm.c,v
retrieving revision 1.8
retrieving revision 1.25
diff -u -p -r1.8 -r1.25
--- OpenXM/src/kan96xx/Kan/sm.c	2000/02/02 09:07:59	1.8
+++ OpenXM/src/kan96xx/Kan/sm.c	2004/09/21 05:46:15	1.25
@@ -1,10 +1,10 @@
-/* sm.c   $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.7 2000/01/19 03:27:08 takayama Exp $ */
-#define DATE "2000/02/02"
-#define RELEASE "3.000202"    /* This "string" must be an increasing seq.*/
-                              /* You should write the same string in global.c
-			         VersionString for ox_sm1.
-				 Change also OxVersion in plugin/oxmisc.c
-				 if you install new openXM protocol.*/
+/* sm.c   $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.24 2004/02/27 09:46:46 takayama Exp $ */
+#define DATE "2004/09/21"
+#define RELEASE "3.040921"    /* This "string" must be an increasing seq.*/
+/* You should write the same string in global.c
+                     VersionString for ox_sm1.
+                 Change also OxVersion in plugin/oxmisc.c
+                 if you install new openXM protocol.*/
 
 #include <stdio.h>
 #include "datatype.h"
@@ -17,7 +17,7 @@
                      bugfix : KdefaultPolyRing, hilbert.c
     Release 2.981123 bugfix : flush for solaris. bugfix : lockctrlCForOx().
     Release 2.981217 Rather stable release.
-    New project on CMO starts.                      		     
+    New project on CMO starts.                                   
 
 */
 
@@ -28,10 +28,11 @@ extern int StartAString;
 extern char *StartString;
 extern int Quiet;
 extern char *VersionString;
+extern unsigned int GC_version;
 
 main(argc,argv) 
-int argc;
-char *argv[];
+     int argc;
+     char *argv[];
 {
   int i;
   StandardMacros = 1;
@@ -39,35 +40,35 @@ char *argv[];
   if (argc > 1) {
     for (i=1; i<argc; i++) {
       if (strcmp(argv[i],"-standardmacros") == 0) {
-	StandardMacros = 0; /* disable of the standard macros */
+        StandardMacros = 0; /* disable of the standard macros */
       }else if (strcmp(argv[i],"-f") == 0) {
-	StartAFile = 1;
-	i++;
-	if (i >= argc) {
-	  fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
-	  fprintf(stderr,"3. sm1 -standardmacros\n");
-	  exit(15);
-	}
-	StartFile = argv[i];
+        StartAFile = 1;
+        i++;
+        if (i >= argc) {
+          fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
+          fprintf(stderr,"3. sm1 -standardmacros\n");
+          exit(15);
+        }
+        StartFile = argv[i];
       }else if (strcmp(argv[i],"-s") == 0) {
-	StartAString = 1;
-	i++;
-	if (i >= argc) {
-	  fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
-	  fprintf(stderr,"3. sm1 -standardmacros\n");
-	  fprintf(stderr,"4. sm1 -q  (quiet)\n");
-	  fprintf(stderr,"5. sm1 -s \"command strings\" \n");
-	  exit(15);
-	}
-	StartString = argv[i];
+        StartAString = 1;
+        i++;
+        if (i >= argc) {
+          fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
+          fprintf(stderr,"3. sm1 -standardmacros\n");
+          fprintf(stderr,"4. sm1 -q  (quiet)\n");
+          fprintf(stderr,"5. sm1 -s \"command strings\" \n");
+          exit(15);
+        }
+        StartString = argv[i];
       } else if (strcmp(argv[i],"-q") == 0) {
-	Quiet = 1;
+        Quiet = 1;
       }else{
-	fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
-	fprintf(stderr,"3. sm1 -standardmacros\n");
-	fprintf(stderr,"4. sm1 -q  (quiet)\n");
-	fprintf(stderr,"5. sm1 -s \"command strings\" \n");
-	exit(15);
+        fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
+        fprintf(stderr,"3. sm1 -standardmacros\n");
+        fprintf(stderr,"4. sm1 -q  (quiet)\n");
+        fprintf(stderr,"5. sm1 -s \"command strings\" \n");
+        exit(15);
       }
     }
   }
@@ -77,13 +78,13 @@ char *argv[];
   if (!Quiet) {
     fprintf(Fstack,"\n");
     fprintf(Fstack,"Kan/StackMachine1");
-    fprintf(Fstack,"                         1991 April --- 2000.\n");
+    fprintf(Fstack,"                         1991 April --- 2004.\n");
     fprintf(Fstack,"                              Release %s (C) N. Takayama\n",
-	    RELEASE);
-    fprintf(Fstack,"gc 4.14 (C) Boehm, Demers, GNU MP 2.0.2 (C) Free Software Foundation,\n");
-    fprintf(Fstack,"OpenXM (C) OpenXM developing team. \n");
-    fprintf(Fstack,"This software may be freely distributed as is ");
-    fprintf(Fstack,"with no warranty expressed.\n");
+            RELEASE);
+    fprintf(Fstack,"gc %d.%d-%d (C) Boehm, Demers, Xerox, SGI, HP,\nGNU MP 4.1 (C) Free Software Foundation,\n",GC_version >>16, (GC_version >> 8)&0xff,GC_version & 0xff);
+    fprintf(Fstack,"OpenXM RFC100, 101, 103 (C) OpenXM developing team. \n");
+    fprintf(Fstack,"This software may be freely distributed  ");
+    fprintf(Fstack,"with no warranty expressed. \nSee OpenXM/Copyright/Copyright.generic\n");
     fprintf(Fstack,"Info: http://www.math.kobe-u.ac.jp/KAN, kan@math.kobe-u.ac.jp. ? for help.\n");
 #ifdef NOGC
     fprintf(Fstack,"No garbage collector is installed.\n");