aboutsummaryrefslogtreecommitdiff
path: root/src/driver
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-03-28 04:34:35 +0000
committerdos-reis <gdr@axiomatics.org>2008-03-28 04:34:35 +0000
commite609586105f5a9b2b314a9dbeab0e7ec47d66b85 (patch)
treed7d301cc8060f30154dff07b334cbc67e636432d /src/driver
parentbd0ce3e3c5dfaad8adcb5034d9637267ed6bc857 (diff)
downloadopen-axiom-e609586105f5a9b2b314a9dbeab0e7ec47d66b85.tar.gz
* interp/int-top.boot (intloopReadConsole): Use $InputStream.
* interp/bootlex.lisp (init-boot/spad-reader): Use $OutputStream. * interp/comp.lisp (|compQuietly|): Likewise. (|compileFileQuietly|): Likewise. (|compileQuietly|): Likewise. * interp/unlisp.lisp (|Prompt|): Likewise. * interp/server.boot (serverReadLine): Indent while body.
Diffstat (limited to 'src/driver')
-rw-r--r--src/driver/utils.c16
1 files changed, 15 insertions, 1 deletions
diff --git a/src/driver/utils.c b/src/driver/utils.c
index 3d5874da..c319536f 100644
--- a/src/driver/utils.c
+++ b/src/driver/utils.c
@@ -14,7 +14,7 @@
the documentation and/or other materials provided with the
distribution.
- - Neither the name of The Numerical ALgorithms Group Ltd. nor the
+ - Neither the name of The Numerical Algorithms Group Ltd. nor the
names of its contributors may be used to endorse or promote products
derived from this software without specific prior written permission.
@@ -139,6 +139,15 @@ openaxiom_build_rts_options(openaxiom_command* command,
command->rt_argv[1] = "-eval";
command->rt_argv[2] = "(" OPENAXIOM_LISP_CORE_ENTRY_POINT ")";
break;
+
+ case openaxiom_sbcl_runtime:
+ command->rt_argc = 3;
+ command->rt_argv = (char **)
+ malloc(command->rt_argc * sizeof (char*));
+ command->rt_argv[0] = "--noprint";
+ command->rt_argv[1] = "--noinform";
+ command->rt_argv[2] = "--end-runtime-options";
+ break;
default:
abort();
@@ -175,6 +184,11 @@ openaxiom_preprocess_arguments(openaxiom_command* command,
driver = openaxiom_script_driver;
else if(strcmp(argv[i], "--compile") == 0)
driver = openaxiom_compiler_driver;
+ else if(strcmp(argv[i], "--no-server") == 0)
+ driver = openaxiom_core_driver;
+ else if (strcmp(argv[i], "--server") == 0)
+ driver = openaxiom_sman_driver;
+
openaxiom_build_rts_options(command, driver);
return driver;