version 1.4, 2001/01/28 02:40:04 |
version 1.7, 2020/10/07 23:53:25 |
|
|
/* $OpenXM: OpenXM/src/k097/k2.c,v 1.3 2001/01/08 05:26:48 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 ***********/ |