version 1.3, 2001/01/08 05:26:48 |
version 1.7, 2020/10/07 23:53:25 |
|
|
/* $OpenXM: OpenXM/src/k097/k2.c,v 1.2 2000/01/17 13:57:26 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/k2.c,v 1.6 2015/10/10 11:29:46 takayama Exp $ */ |
/* k2.c main program of k. */ |
/* k2.c main program of k. */ |
|
|
#define DATE "1998,12/15" |
#define DATE "1998,12/15" |
#include <stdio.h> |
#include <stdio.h> |
|
#include <string.h> |
|
#include <stdlib.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "stackm.h" |
#include "stackm.h" |
#include "extern.h" |
#include "extern.h" |
#include "extern2.h" |
#include "extern2.h" |
|
|
|
#include "ki.h" |
|
|
char *getLOAD_K_PATH(); /* from d.h */ |
char *getLOAD_K_PATH(); /* from d.h */ |
|
|
#ifdef CALLASIR |
#ifdef CALLASIR |
Line 22 extern int K00_verbose; |
|
Line 26 extern int K00_verbose; |
|
int Startupk2 = 1; |
int Startupk2 = 1; |
|
|
|
|
main(int argc,char *argv[]) { |
void main(int argc,char *argv[]) { |
extern int Saki; |
extern int Saki; |
extern int Interactive; |
extern int Interactive; |
int i; |
int i; |
Line 51 main(int argc,char *argv[]) { |
|
Line 55 main(int argc,char *argv[]) { |
|
} |
} |
} |
} |
#ifdef CALLASIR |
#ifdef CALLASIR |
GC_init(); |
GC_INIT(); /* GC_init(); */ |
KasirKanAsirInit(); |
KasirKanAsirInit(); |
#endif |
#endif |
KSstart(); /******** initialize ***********/ |
KSstart(); /******** initialize ***********/ |
Line 72 main(int argc,char *argv[]) { |
|
Line 76 main(int argc,char *argv[]) { |
|
execFile("incmac.sm1"); |
execFile("incmac.sm1"); |
execFile("slib.sm1"); |
execFile("slib.sm1"); |
|
|
printf("\n\nIn(1)="); |
printf("\n\nIn(1)= "); |
s = "startup.k"; |
s = "startup.k"; |
if (Startupk2) { |
if (Startupk2) { |
strcpy(tname,s); |
strcpy(tname,s); |