/[svn]/driver/run.ml
ViewVC logotype

Diff of /driver/run.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 662 by abate, Tue Jul 10 17:52:15 2007 UTC revision 663 by abate, Tue Jul 10 17:52:18 2007 UTC
# Line 45  Line 45 
45    
46   ]   ]
47    
48    let ppf =
49      if !Cduce.quiet then Format.formatter_of_buffer (Buffer.create 1023)
50      else Format.std_formatter
51    let ppf_err = Format.err_formatter
52    
53  let specs =  let specs =
54    if Load_xml.expat_support then    if Load_xml.expat_support then
55      ("--expat", Arg.Unit (fun () -> Load_xml.use_parser := `Expat),      ("--expat", Arg.Unit (fun () -> Load_xml.use_parser := `Expat),
# Line 53  Line 58 
58             "    use PXP parser") ::             "    use PXP parser") ::
59      specs      specs
60    else    else
61      ("--expat", Arg.Unit (fun () -> ()),      ("--expat", Arg.Unit (fun () -> (Format.fprintf ppf  "WARNING: --expat unused option. CDuce compiled without expat support\n\n")),
62               "  option not available: CDuce was compiled without expat support") ::               "  option not available: CDuce was compiled without expat support") ::
63      ("--pxp", Arg.Unit (fun () -> ()),      ("--pxp", Arg.Unit (fun () -> (Format.fprintf ppf  "WARNING: --pxp useless option. CDuce compiled without expat support\n\n")),
64             "    useless option:  CDuce was compiled without expat support") ::             "    useless option:  CDuce was compiled without expat support") ::
65      specs      specs
66    
# Line 64  Line 69 
69    Arg.parse specs (fun s -> src := s :: !src)    Arg.parse specs (fun s -> src := s :: !src)
70      "\nUsage:\ncduce [OPTIONS ...] [FILE ...] [--arg argument ...]\n\nOptions:"      "\nUsage:\ncduce [OPTIONS ...] [FILE ...] [--arg argument ...]\n\nOptions:"
71    
 let ppf =  
   if !Cduce.quiet then Format.formatter_of_buffer (Buffer.create 1023)  
   else Format.std_formatter  
 let ppf_err = Format.err_formatter  
   
72    
73  let bol = ref true  let bol = ref true
74    
Legend:
Removed from v.662  
changed lines
  Added in v.663
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5