-let arg_spec = [
- "-I", Arg.String (add_l paths_to_search_in),
- "<path> Adds path to the list of searched paths for the include command";
- "-q", Arg.Unit (set_b quiet_compilation), "Turn off verbose compilation"
-]
+let arg_spec =
+ let std_arg_spec = [
+ "-I", Arg.String (add_l paths_to_search_in),
+ "<path> Adds path to the list of searched paths for the include command";
+ "-q", Arg.Set quiet_compilation, "Turn off verbose compilation";
+ "-preserve", Arg.Set dont_delete_baseuri,
+ "Turns off automatic baseuri cleaning";
+ ] in
+ let debug_arg_spec =
+ if BuildTimeConf.debug then
+ [ "-debug", Arg.Set debug,
+ "Do not catch top-level exception (useful for backtrace inspection)"; ]
+ else []
+ in
+ std_arg_spec @ debug_arg_spec
+