[BACK]Return to sm.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/sm.c between version 1.9 and 1.24

version 1.9, 2000/02/24 00:27:12 version 1.24, 2004/02/27 09:46:46
Line 1 
Line 1 
 /* sm.c   $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.8 2000/02/02 09:07:59 takayama Exp $ */  /* sm.c   $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.23 2004/02/23 04:54:45 takayama Exp $ */
 #define DATE "2000/02/22"  #define DATE "2004/02/23"
 #define RELEASE "3.000222"    /* This "string" must be an increasing seq.*/  #define RELEASE "3.040223"    /* This "string" must be an increasing seq.*/
                               /* You should write the same string in global.c  /* You should write the same string in global.c
                                  VersionString for ox_sm1.                       VersionString for ox_sm1.
                                  Change also OxVersion in plugin/oxmisc.c                   Change also OxVersion in plugin/oxmisc.c
                                  if you install new openXM protocol.*/                   if you install new openXM protocol.*/
   
 #include <stdio.h>  #include <stdio.h>
 #include "datatype.h"  #include "datatype.h"
Line 17 
Line 17 
                      bugfix : KdefaultPolyRing, hilbert.c                       bugfix : KdefaultPolyRing, hilbert.c
     Release 2.981123 bugfix : flush for solaris. bugfix : lockctrlCForOx().      Release 2.981123 bugfix : flush for solaris. bugfix : lockctrlCForOx().
     Release 2.981217 Rather stable release.      Release 2.981217 Rather stable release.
     New project on CMO starts.      New project on CMO starts.
   
 */  */
   
Line 28  extern int StartAString;
Line 28  extern int StartAString;
 extern char *StartString;  extern char *StartString;
 extern int Quiet;  extern int Quiet;
 extern char *VersionString;  extern char *VersionString;
   extern unsigned int GC_version;
   
 main(argc,argv)  main(argc,argv)
 int argc;       int argc;
 char *argv[];       char *argv[];
 {  {
   int i;    int i;
   StandardMacros = 1;    StandardMacros = 1;
Line 39  char *argv[];
Line 40  char *argv[];
   if (argc > 1) {    if (argc > 1) {
     for (i=1; i<argc; i++) {      for (i=1; i<argc; i++) {
       if (strcmp(argv[i],"-standardmacros") == 0) {        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) {        }else if (strcmp(argv[i],"-f") == 0) {
         StartAFile = 1;          StartAFile = 1;
         i++;          i++;
         if (i >= argc) {          if (i >= argc) {
           fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");            fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
           fprintf(stderr,"3. sm1 -standardmacros\n");            fprintf(stderr,"3. sm1 -standardmacros\n");
           exit(15);            exit(15);
         }          }
         StartFile = argv[i];          StartFile = argv[i];
       }else if (strcmp(argv[i],"-s") == 0) {        }else if (strcmp(argv[i],"-s") == 0) {
         StartAString = 1;          StartAString = 1;
         i++;          i++;
         if (i >= argc) {          if (i >= argc) {
           fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");            fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
           fprintf(stderr,"3. sm1 -standardmacros\n");            fprintf(stderr,"3. sm1 -standardmacros\n");
           fprintf(stderr,"4. sm1 -q  (quiet)\n");            fprintf(stderr,"4. sm1 -q  (quiet)\n");
           fprintf(stderr,"5. sm1 -s \"command strings\" \n");            fprintf(stderr,"5. sm1 -s \"command strings\" \n");
           exit(15);            exit(15);
         }          }
         StartString = argv[i];          StartString = argv[i];
       } else if (strcmp(argv[i],"-q") == 0) {        } else if (strcmp(argv[i],"-q") == 0) {
         Quiet = 1;          Quiet = 1;
       }else{        }else{
         fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");          fprintf(stderr,"Usage: 1. sm1\n2. sm1 -f filename\n");
         fprintf(stderr,"3. sm1 -standardmacros\n");          fprintf(stderr,"3. sm1 -standardmacros\n");
         fprintf(stderr,"4. sm1 -q  (quiet)\n");          fprintf(stderr,"4. sm1 -q  (quiet)\n");
         fprintf(stderr,"5. sm1 -s \"command strings\" \n");          fprintf(stderr,"5. sm1 -s \"command strings\" \n");
         exit(15);          exit(15);
       }        }
     }      }
   }    }
Line 77  char *argv[];
Line 78  char *argv[];
   if (!Quiet) {    if (!Quiet) {
     fprintf(Fstack,"\n");      fprintf(Fstack,"\n");
     fprintf(Fstack,"Kan/StackMachine1");      fprintf(Fstack,"Kan/StackMachine1");
     fprintf(Fstack,"                         1991 April --- 2000.\n");      fprintf(Fstack,"                         1991 April --- 2003.\n");
     fprintf(Fstack,"                              Release %s (C) N. Takayama\n",      fprintf(Fstack,"                              Release %s (C) N. Takayama\n",
             RELEASE);              RELEASE);
     fprintf(Fstack,"gc 4.14 (C) Boehm, Demers, GNU MP 2.0.2 (C) Free Software Foundation,\n");      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 (C) OpenXM developing team. \n");      fprintf(Fstack,"OpenXM RFC100, 101, 103 (C) OpenXM developing team. \n");
     fprintf(Fstack,"This software may be freely distributed as is ");      fprintf(Fstack,"This software may be freely distributed as is ");
     fprintf(Fstack,"with no warranty expressed.\n");      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");      fprintf(Fstack,"Info: http://www.math.kobe-u.ac.jp/KAN, kan@math.kobe-u.ac.jp. ? for help.\n");
 #ifdef NOGC  #ifdef NOGC
     fprintf(Fstack,"No garbage collector is installed.\n");      fprintf(Fstack,"No garbage collector is installed.\n");
Legend:
Removed from v.1.9  
changed lines
  Added in v.1.24
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>