=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/sm.c,v retrieving revision 1.14 retrieving revision 1.15 diff -u -p -r1.14 -r1.15 --- OpenXM/src/kan96xx/Kan/sm.c 2000/12/03 07:29:38 1.14 +++ OpenXM/src/kan96xx/Kan/sm.c 2001/05/04 01:06:25 1.15 @@ -1,10 +1,10 @@ -/* sm.c $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.13 2000/07/26 02:21:30 takayama Exp $ */ +/* sm.c $OpenXM: OpenXM/src/kan96xx/Kan/sm.c,v 1.14 2000/12/03 07:29:38 takayama Exp $ */ #define DATE "2000/12/03" #define RELEASE "3.001203" /* 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.*/ +/* 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 #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. */ @@ -30,8 +30,8 @@ extern int Quiet; extern char *VersionString; main(argc,argv) -int argc; -char *argv[]; + int argc; + char *argv[]; { int i; StandardMacros = 1; @@ -39,35 +39,35 @@ char *argv[]; if (argc > 1) { for (i=1; 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); } } } @@ -79,7 +79,7 @@ char *argv[]; fprintf(Fstack,"Kan/StackMachine1"); fprintf(Fstack," 1991 April --- 2000.\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,"OpenXM (C) OpenXM developing team. \n"); fprintf(Fstack,"This software may be freely distributed as is ");