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 AVM2 instructions
[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
use_network: bool
13
}
14
15
type general = {
16
verbose : bool;
17
just_print: bool;
18
keep_files: bool;
19
}
20
21
type t = {
22
inputs : string list;
23
output : string;
24
general : general;
25
scm : scm;
26
link : link;
27
}
28
29
val parse : string array -> t