version 1.12, 2004/03/03 12:27:31 |
version 1.14, 2004/03/04 12:29:58 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.11 2004/03/03 09:44:39 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.13 2004/03/04 06:29:16 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
Line 102 main(int argc,char *argv[]) { |
|
Line 102 main(int argc,char *argv[]) { |
|
TM_Engine = ASIR; |
TM_Engine = ASIR; |
}else if (strcmp(argv[i],"--k0") == 0) { |
}else if (strcmp(argv[i],"--k0") == 0) { |
TM_Engine = K0; |
TM_Engine = K0; |
|
}else if (strcmp(argv[i],"--outputLimit") == 0) { |
|
i++; |
|
sscanf(argv[i],"%d",&OutputLimit_for_TeXmacs); |
}else{ |
}else{ |
/* printv("Unknown option\n"); */ |
/* printv("Unknown option\n"); */ |
} |
} |
Line 222 static char *readString(FILE *fp, char *prolog, char * |
|
Line 225 static char *readString(FILE *fp, char *prolog, char * |
|
int i; |
int i; |
int m; |
int m; |
int start; |
int start; |
|
struct object ob; |
if (limit == 0) { |
if (limit == 0) { |
limit = 1024; |
limit = 1024; |
s = (char *)sGC_malloc(limit); |
s = (char *)sGC_malloc(limit); |
Line 286 static char *readString(FILE *fp, char *prolog, char * |
|
Line 290 static char *readString(FILE *fp, char *prolog, char * |
|
TM_Engine=K0; startEngine(TM_Engine,"k0"); |
TM_Engine=K0; startEngine(TM_Engine,"k0"); |
return NULL; |
return NULL; |
} |
} |
|
if (strcmp(&(s[start]),"!reset;") == 0) { |
|
printf("%s",DATA_BEGIN_V); |
|
KSexecuteString(" ox.engine oxreset ox.engine oxpopcmo "); |
|
ob = KSpop(); |
|
printf("%s",DATA_END); fflush(stdout); |
|
return NULL; |
|
} |
|
|
/* Set TM_do_no_print */ |
/* Set TM_do_no_print */ |
if (s[n-1] == '$' && TM_Engine == ASIR) { |
if (s[n-1] == '$' && TM_Engine == ASIR) { |
Line 326 static void printp(char *s) { |
|
Line 337 static void printp(char *s) { |
|
static void printCopyright(char *s) { |
static void printCopyright(char *s) { |
printf("%s",DATA_BEGIN_V); |
printf("%s",DATA_BEGIN_V); |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf(" under the BSD licence. !asir; !sm1; !k0; !verbatim;"); |
printf(" under the BSD licence. !asir; !sm1; !k0; !verbatim;\n"); |
|
printf("Type in !reset; when the engine gets confused. "); |
printf("%s",s); |
printf("%s",s); |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
fflush(NULL); |
fflush(NULL); |