Commit f2e5b194 authored by Pietro Abate's avatar Pietro Abate

[r2004-07-03 09:03:13 by afrisch] Reorder usage info

Original author: afrisch
Date: 2004-07-03 09:03:13+00:00
parent 98623477
......@@ -28,37 +28,41 @@ been modified from the original Q Public.\n\n
";
exit 0
let specs = ref
[ "--load", Arg.String (fun s -> load_dump := Some s),
" load persistency file before running CDuce program";
"--save", Arg.String (fun s -> save_dump := Some s),
" save persistency file after running CDuce program";
"--dump", Arg.String (fun s -> save_dump := Some s; load_dump := Some s),
" specify persistency file for loading and saving";
"--verbose", Arg.Set Cduce.verbose,
"verbose output for compilation (show types of exported values)";
"--compile", Arg.Set compile,
let specs = ref
[ "--compile", Arg.Set compile,
"compile the given CDuce file";
"--run", Arg.Set run,
" execute the given .cdo files";
"--verbose", Arg.Set Cduce.verbose,
"(for --compile) show types of exported values";
"--obj-dir", Arg.String (fun s -> out_dir := s :: !out_dir),
"directory for the compiled .cdo file";
"(for --compile) directory for the compiled .cdo file";
"-I", Arg.String (fun s -> Librarian.obj_path := s::!Librarian.obj_path),
" add one directory to the lookup path for .cdo files";
"--run", Arg.Set run,
" execute the given .cdo file";
" add one directory to the lookup path for .cdo and .cmi files";
"--stdin", Arg.Unit (fun () -> src := "" :: !src),
" read CDuce script on standard input";
"--arg", Arg.Rest (fun s -> args := s :: !args),
" following arguments are passed to the CDuce program";
"--no", Arg.String Config.inhibit,
" disable a feature (cduce -v to get a list of features)";
"--debug", Arg.Unit (fun () -> Stats.set_verbosity Stats.Summary),
" print profiling/debugging information";
"-v", Arg.Unit version,
" print CDuce version";
" print CDuce version, and list built-in optional features";
"--version", Arg.Unit version,
"print CDuce version";
"print CDuce version, and list built-in optional features";
"--license", Arg.Unit license,
"print CDuce license";
"--arg", Arg.Rest (fun s -> args := s :: !args),
" following arguments are passed to the CDuce program (in argv)";
"--dump", Arg.String (fun s -> save_dump := Some s; load_dump := Some s),
" (deprecated) specify persistency file for loading and saving";
"--load", Arg.String (fun s -> load_dump := Some s),
" (deprecated) load persistency file before running CDuce program";
"--save", Arg.String (fun s -> save_dump := Some s),
" (deprecated) save persistency file after running CDuce program";
]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment