1 let start = Unix.gettimeofday
();;
9 let jobs, targets
, dodeplist
, dotarlist
= getopt
();;
12 match getval key
with | None
-> failwith msg
| Some s
-> s
16 match getval key
with | None
-> def
| Some s
-> s
19 let srcdir = get "src" "no source dir";;
20 let cc = getdef "cc" "cc";;
21 let ccopt = getdef "ccopt" "";;
22 let mupdflibpath = get "mupdflibpath" "no mupdf libpath";;
23 let libs = getdef "libs" "";;
30 ("-cc '" ^
cc ^
"' -ccopt '" ^ flags ^
" " ^
ccopt ^
" -o " ^
o ^
"'")
33 [Filename.concat
srcdir c]
38 let ocaml1 prog flags1 flags2 mainoutput outputs inputs deps f
=
39 let flags = flags1 ^
" -o " ^
Filename.quote mainoutput
in
42 let s = String.concat
" " (map
Filename.quote
(f
())) in
43 [Run
(prog ^
" " ^
flags ^
" " ^
s ^ flags2
)]
45 let cookie _
= prog ^
flags in
46 let presentation _
= "OCAMLC " ^ mainoutput
in
47 { get_commands
= commands
49 ; get_presentation
= presentation
52 let inputs = fold_right
StrSet.add
inputs StrSet.empty
in
53 let deps = StrSet.union
inputs deps in
54 StrSet.iter
(fun output
->
55 put_build_info output
build;
56 let deps = StrSet.remove output
deps in
57 add_target output
inputs outputs
deps
61 let ocaml' prog flags1 flags2 mainoutput outputs
inputs deps =
62 ocaml1 prog flags1 flags2 mainoutput outputs
inputs deps (fun () -> inputs)
66 let so = name ^
".so" in
68 " -L" ^
mupdflibpath ^
" " ^
libs
70 let o = List.map
(fun s -> s ^
".o") objs
in
73 ("-shared -lpthread -o " ^
so ^
mupdf_libs)
79 (Filename.concat
mupdflibpath "libfitz.a")
80 (StrSet.singleton
(Filename.concat
mupdflibpath "libmupdf.a")))
88 let mkhelp = Filename.concat
srcdir "mkhelp.sh" in
89 let keystoml = Filename.concat
srcdir "keystoml.ml" in
90 let keys = Filename.concat
srcdir "KEYS" in
91 let cmd = "sh " ^
mkhelp ^
" " ^
keystoml ^
" " ^
keys ^
"> help.ml" in
93 { get_commands
= (fun _ -> [Run
cmd])
94 ; get_cookie
= (fun _ ->
95 get_cmd_output
"git describe --tags --dirty || echo")
96 ; get_presentation
= (fun _ -> "KEYSTOML KEYS")
99 put_build_info
"help.ml" build;
100 let sing s = StrSet.singleton
s in
105 (StrSet.add
keys (StrSet.add
mkhelp (sing keystoml)))
107 let so = bso "link" ["link"] in
111 ("-g -I +lablGL lablgl.cma lablglut.cma str.cma unix.cma -dllpath "
114 (StrSet.singleton name
)
115 (State.dep_sort cmos
)
119 let dirname = if name
= "help" then Sys.getcwd
() else srcdir in
120 cmopp ~
flags:"-g -w Ale -I +lablGL -thread" ~
dirname name
;
123 let cmos = so :: List.map
mkcmo ["help"; "parser"; "main"] in
128 run
start jobs ["help.ml"] false dotarlist
;
129 run
start jobs targets dodeplist dotarlist
;