[r2003-09-19 23:26:18 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-19 23:26:18+00:00

driver/run.ml

@@ -45,6 +45,11 @@ let specs =
 
  ]
 
+let ppf = 
+  if !Cduce.quiet then Format.formatter_of_buffer (Buffer.create 1023)
+  else Format.std_formatter
+let ppf_err = Format.err_formatter
+
 let specs = 
   if Load_xml.expat_support then
     ("--expat", Arg.Unit (fun () -> Load_xml.use_parser := `Expat),
@@ -53,9 +58,9 @@ let specs =
            "    use PXP parser") ::
     specs
   else
-    ("--expat", Arg.Unit (fun () -> ()),
+    ("--expat", Arg.Unit (fun () -> (Format.fprintf ppf  "WARNING: --expat unused option. CDuce compiled without expat support\n\n")),
              "  option not available: CDuce was compiled without expat support") ::
-    ("--pxp", Arg.Unit (fun () -> ()),
+    ("--pxp", Arg.Unit (fun () -> (Format.fprintf ppf  "WARNING: --pxp useless option. CDuce compiled without expat support\n\n")),
            "    useless option:  CDuce was compiled without expat support") ::
     specs
 
@@ -64,11 +69,6 @@ let () =
   Arg.parse specs (fun s -> src := s :: !src) 
     "\nUsage:\ncduce [OPTIONS ...] [FILE ...] [--arg argument ...]\n\nOptions:"
 
-let ppf = 
-  if !Cduce.quiet then Format.formatter_of_buffer (Buffer.create 1023)
-  else Format.std_formatter
-let ppf_err = Format.err_formatter
-
 
 let bol = ref true