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

Diff of /driver/run.ml

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

revision 661 by abate, Tue Jul 10 17:41:34 2007 UTC revision 662 by abate, Tue Jul 10 17:52:15 2007 UTC
# Line 53  Line 53 
53             "    use PXP parser") ::             "    use PXP parser") ::
54      specs      specs
55    else    else
56        ("--expat", Arg.Unit (fun () -> ()),
57                 "  option not available: CDuce was compiled without expat support") ::
58        ("--pxp", Arg.Unit (fun () -> ()),
59               "    useless option:  CDuce was compiled without expat support") ::
60      specs      specs
61    
62    
# Line 88  Line 92 
92      restore ();      restore ();
93      exit 0      exit 0
94    in    in
95    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");
96    Sys.set_signal Sys.sigquit (Sys.Signal_handle (fun _ -> quit ()));    Sys.set_signal Sys.sigquit (Sys.Signal_handle (fun _ -> quit ()));
97    Sys.catch_break true;    Sys.catch_break true;
98    Cduce.toplevel := true;    Cduce.toplevel := true;
Legend:
Removed from v.661  
changed lines
  Added in v.662
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5