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(""); |
} |
} |
} |
} |