| version 1.11, 2004/03/03 09:44:39 |
version 1.12, 2004/03/03 12:27:31 |
|
|
| /* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.10 2004/03/03 06:09:29 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.11 2004/03/03 09:44:39 takayama Exp $ */ |
| |
|
| #include <stdio.h> |
#include <stdio.h> |
| #include <setjmp.h> |
#include <setjmp.h> |
| Line 103 main(int argc,char *argv[]) { |
|
| Line 103 main(int argc,char *argv[]) { |
|
| }else if (strcmp(argv[i],"--k0") == 0) { |
}else if (strcmp(argv[i],"--k0") == 0) { |
| TM_Engine = K0; |
TM_Engine = K0; |
| }else{ |
}else{ |
| printv("Unknown option\n"); |
/* printv("Unknown option\n"); */ |
| } |
} |
| } |
} |
| |
|
| Line 192 main(int argc,char *argv[]) { |
|
| Line 192 main(int argc,char *argv[]) { |
|
| else printv("Output is too large.\n"); |
else printv("Output is too large.\n"); |
| }else{ |
}else{ |
| KSexecuteString(" ox.engine 1 oxpops "); /* Discard the result. */ |
KSexecuteString(" ox.engine 1 oxpops "); /* Discard the result. */ |
| |
/* Push and pop dummy data to wait until the computation finishes. */ |
| |
KSexecuteString(" ox.engine 0 oxpushcmo ox.engine oxpopcmo "); |
| |
ob = KSpop(); |
| printv(""); |
printv(""); |
| } |
} |
| } |
} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ox_texmacs.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kxx