Add *PARSER and XML options.

diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm
index a486e842fc953f42c35945399a47b59f3b9a8df9..e39436f1e9360022a93c726b990c675a06bd7b1e 100644 (file)
--- 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