Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
1b6a094a
Commit
1b6a094a
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-07-03 09:03:13 by afrisch] Reorder usage info
Original author: afrisch Date: 2004-07-03 09:03:13+00:00
parent
cad7d0db
Changes
1
Hide whitespace changes
Inline
Side-by-side
driver/run.ml
View file @
1b6a094a
...
...
@@ -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"
;
]
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment