OSDN Git Service
(root)
/
happyabc
/
happyabc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
add -L option
[happyabc/happyabc.git]
/
driver
/
cmdOpt.mli
1
type scm = {
2
scm_cmd : string;
3
includes : string;
4
link_std:bool
5
}
6
7
type link = {
8
link_cmd : string;
9
size : int * int;
10
bg_color : Color.t;
11
libs : string list
12
}
13
14
type general = {
15
verbose : bool;
16
just_print: bool;
17
keep_files: bool;
18
}
19
20
type t = {
21
inputs : string list;
22
output : string;
23
general : general;
24
scm : scm;
25
link : link;
26
}
27
28
val parse : unit -> t