version 1.1, 1999/10/08 02:12:15 |
version 1.3, 2001/01/08 05:26:48 |
|
|
|
/* $OpenXM: OpenXM/src/k097/k2.c,v 1.2 2000/01/17 13:57:26 takayama Exp $ */ |
/* k2.c main program of k. */ |
/* k2.c main program of k. */ |
|
|
#define DATE "1998,12/15" |
#define DATE "1998,12/15" |
Line 19 extern int DebugMode; |
|
Line 20 extern int DebugMode; |
|
extern int K00_verbose; |
extern int K00_verbose; |
|
|
int Startupk2 = 1; |
int Startupk2 = 1; |
int FactorA = 0; /* sm1(" (aa) run "); does not work. */ |
|
|
|
|
|
main(int argc,char *argv[]) { |
main(int argc,char *argv[]) { |
extern int Saki; |
extern int Saki; |
extern int Interactive; |
extern int Interactive; |
Line 33 main(int argc,char *argv[]) { |
|
Line 34 main(int argc,char *argv[]) { |
|
if (strcmp(argv[i],"-d") == 0) { |
if (strcmp(argv[i],"-d") == 0) { |
fprintf(stderr,"DebugCompiler = 1\n"); |
fprintf(stderr,"DebugCompiler = 1\n"); |
DebugCompiler = 1; |
DebugCompiler = 1; |
}else if (strcmp(argv[i],"-f") == 0) { |
|
fprintf(stderr,"Loading factor-a.sm1\n"); |
|
FactorA = 1; |
|
}else if (strcmp(argv[i],"-nostartup") == 0) { |
}else if (strcmp(argv[i],"-nostartup") == 0) { |
fprintf(stderr,"Do not load startup.k\n"); |
fprintf(stderr,"Do not load startup.k\n"); |
Startupk2 = 0; |
Startupk2 = 0; |
Line 46 main(int argc,char *argv[]) { |
|
Line 44 main(int argc,char *argv[]) { |
|
}else{ |
}else{ |
fprintf(stderr,"Usage: 1: k\n"); |
fprintf(stderr,"Usage: 1: k\n"); |
fprintf(stderr," 2: k -d (DebugCompiler=1)\n"); |
fprintf(stderr," 2: k -d (DebugCompiler=1)\n"); |
fprintf(stderr," 3: k -f (load factor-a.sm1)\n"); |
fprintf(stderr," 3: k -nostartup (do not load startup.k)\n"); |
fprintf(stderr," 4: k -nostartup (do not load startup.k)\n"); |
fprintf(stderr," 4: k -v (verbose) or k -vv \n"); |
fprintf(stderr," 5: k -v (verbose) or k -vv \n"); |
|
exit(1); |
exit(1); |
} |
} |
} |
} |
Line 63 main(int argc,char *argv[]) { |
|
Line 60 main(int argc,char *argv[]) { |
|
|
|
fprintf(stderr,"This is kan/k0 Version %s",DATE); |
fprintf(stderr,"This is kan/k0 Version %s",DATE); |
fprintf(stderr,"\n"); |
fprintf(stderr,"\n"); |
|
fprintf(stderr,"WARNING: This is an EXPERIMENTAL version\n"); |
if (K00_verbose == 1) { |
if (K00_verbose == 1) { |
KSexecuteString(" /K00_verbose 1 def "); |
KSexecuteString(" /K00_verbose 1 def "); |
}else if (K00_verbose == 2) { |
}else if (K00_verbose == 2) { |
Line 73 main(int argc,char *argv[]) { |
|
Line 71 main(int argc,char *argv[]) { |
|
execFile("var.sm1"); KSexecuteString(" strictMode "); |
execFile("var.sm1"); KSexecuteString(" strictMode "); |
execFile("incmac.sm1"); |
execFile("incmac.sm1"); |
execFile("slib.sm1"); |
execFile("slib.sm1"); |
if (FactorA) execFile("factor-b.sm1"); |
|
|
|
printf("\n\nIn(1)="); |
printf("\n\nIn(1)="); |
s = "startup.k"; |
s = "startup.k"; |