[r2003-09-19 23:07:01 by cvscast] Beppe: changed the help message for CDuce without expat support

Original author: cvscast
Date: 2003-09-19 23:07:01+00:00

driver/run.ml

@@ -53,6 +53,10 @@ let specs =
            "    use PXP parser") ::
     specs
   else
+    ("--expat", Arg.Unit (fun () -> ()),
+             "  option not available: CDuce was compiled without expat support") ::
+    ("--pxp", Arg.Unit (fun () -> ()),
+           "    useless option:  CDuce was compiled without expat support") ::
     specs
 
 
@@ -88,7 +92,7 @@ let toploop () =
     restore ();
     exit 0
   in
-  Format.fprintf ppf "        CDuce version %s\n@." <:symbol<cduce_version>>;
+  Format.fprintf ppf "        CDuce version %s (expat support %s)\n@." <:symbol<cduce_version>> (if  Load_xml.expat_support then "enabled" else "disabled");
   Sys.set_signal Sys.sigquit (Sys.Signal_handle (fun _ -> quit ()));
   Sys.catch_break true;
   Cduce.toplevel := true;