OSDN Git Service
(root)
/
happyabc
/
happyabc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
merge src/ and test/ at base/
[happyabc/happyabc.git]
/
driver
/
src
/
cmdOpt.mli
1
type scm = {
2
scm_cmd : string;
3
includes : string;
4
link_std:bool
5
}
6
7
type abc = {
8
abc_cmd : string;
9
}
10
11
type abcx = {
12
abcx_cmd : string;
13
template : string;
14
size : int * int;
15
bg_color : Color.t;
16
}
17
18
type swfx = {
19
swfx_cmd : string;
20
}
21
22
type general = {
23
verbose : bool;
24
just_print: bool;
25
keep_files: bool;
26
}
27
28
type t = {
29
inputs : string list;
30
output : string;
31
general : general;
32
scm : scm;
33
abc : abc;
34
abcx : abcx;
35
swfx : swfx;
36
}
37
38
val parse : unit -> t