From 4ef1d4d0a87164facdf1c081eace20898d507558 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Tue, 16 Oct 2001 19:42:53 +0000 Subject: [PATCH] Add *PARSER and XML options. --- v7/src/etc/optiondb.scm | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm index a486e842f..e39436f1e 100644 --- a/v7/src/etc/optiondb.scm +++ b/v7/src/etc/optiondb.scm @@ -1,6 +1,6 @@ #| -*-Scheme-*- -$Id: optiondb.scm,v 1.7 2001/04/30 02:45:59 cph Exp $ +$Id: optiondb.scm,v 1.8 2001/10/16 19:42:53 cph Exp $ Copyright (c) 2000-2001 Massachusetts Institute of Technology @@ -80,6 +80,9 @@ USA. (define-load-option 'IMAIL (guarded-system-loader '(edwin imail) "imail")) +(define-load-option '*PARSER + (guarded-system-loader '(runtime *parser) "star-parser")) + (define-load-option 'PC-SAMPLE (guarded-system-loader '(pc-sample) "pcsample")) @@ -101,4 +104,7 @@ USA. (define-load-option 'WIN32 (guarded-system-loader '(win32) "win32")) +(define-load-option 'XML + (guarded-system-loader '(runtime xml) "xml")) + (further-load-options standard-load-options) \ No newline at end of file -- 2.25.1