forked from PLTools/OCanren
/
dune
69 lines (61 loc) · 1.77 KB
/
dune
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
(library
(name pa_ocanren)
(public_name OCanren.syntax)
(libraries camlp5)
(preprocess
(action
(run %{workspace_root}/camlp5/pp5+dump.byte %{input-file}))))
(rule
(targets pp5+gt+plugins+ocanren+dump.exe)
(deps pa_ocanren.cmxa)
(action
(run mkcamlp5.opt -package
camlp5,camlp5.pa_o,camlp5.macro,camlp5.pr_dump,GT-p5,GT.syntax.all
%{deps} -o %{targets})))
(rule
(targets pp5+gt+plugins+dump.byte)
(deps)
(action
; add `-package pa_ppx.dock` below to build documentation
(run mkcamlp5 -package
camlp5,camlp5.pa_o,camlp5.macro,camlp5.pr_dump,GT-p5,GT.syntax.all
%{deps} -o %{targets})))
(rule
(targets pp5+gt+plugins+o.exe)
(deps)
(action
; add `-package pa_ppx.dock` below to build documentation
(run mkcamlp5.opt -package
camlp5,camlp5.pa_o,camlp5.macro,camlp5.pr_o,GT-p5,GT.syntax.all %{deps}
-o %{targets})))
(rule
(targets pp5+gt+plugins+ocanren+o.byte)
(deps pa_ocanren.cma)
(action
(run mkcamlp5 -package
camlp5,camlp5.pa_o,camlp5.macro,camlp5.pr_o,GT-p5,GT.syntax.all %{deps}
-o %{targets})))
(rule
(targets pp5+gt+plugins+ocanren+logger+dump.exe)
(deps pa_ocanren.cmxa)
(action
(run mkcamlp5.opt -package
camlp5,camlp5.pa_o,GT-p5,GT.syntax.all,logger.syntax %{deps} pr_dump.cmx
-o %{targets} -)))
; (rule
; (targets pp5+gt+plugins+ocanren+logger+o.byte)
; (deps pa_ocanren.cma)
; (action
; (run mkcamlp5 -package camlp5,camlp5.pa_o,GT-p5,GT.syntax.all,logger.syntax
; %{deps} -o %{targets})))
(rule
(targets pp5+dump.byte)
(action
(run mkcamlp5 -package
camlp5.pa_o,camlp5.pr_dump,camlp5.extend,camlp5.quotations -o %{targets})))
(rule
(targets pp5+dump+dock.byte)
(action
(run mkcamlp5 -package
camlp5,camlp5.pa_o,camlp5.pr_dump,pa_ppx.dock,camlp5.extend,camlp5.quotations
-o %{targets})))