blob: 78df2826d600204fc910e81142d050c2fc7ba7d9 (
plain)
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
|
(library
(name grammar5)
(synopsis "Coq Camlp5 Grammar Extensions for Plugins")
(public_name coq.grammar)
(flags (:standard -w -58))
(libraries camlp5))
; Custom camlp5! This is a net speedup, and a preparation for using
; Dune's preprocessor abilities.
(rule
(targets coqmlp5)
(action (run mkcamlp5.opt pa_o.cmx pa_op.cmx pr_dump.cmx pa_extend.cmx q_MLast.cmx pa_macro.cmx pr_o.cmx -o coqmlp5)))
(rule
(targets coqp5)
(action (run mkcamlp5.opt pa_o.cmx pa_op.cmx pr_dump.cmx pa_extend.cmx q_MLast.cmx pa_macro.cmx pr_o.cmx %{dep:grammar5.cmxa} -o coqp5)))
(install
(section bin)
(package coq)
(files coqp5 coqmlp5))
(rule
(targets q_util.ml)
(deps (:mlp-file q_util.mlp))
(action (run coqmlp5 -loc loc -impl %{mlp-file} -o %{targets})))
(rule
(targets argextend.ml)
(deps (:mlp-file argextend.mlp))
(action (run coqmlp5 -loc loc -impl %{mlp-file} -o %{targets})))
(rule
(targets tacextend.ml)
(deps (:mlp-file tacextend.mlp))
(action (run coqmlp5 -loc loc -impl %{mlp-file} -o %{targets})))
(rule
(targets vernacextend.ml)
(deps (:mlp-file vernacextend.mlp))
(action (run coqmlp5 -loc loc -impl %{mlp-file} -o %{targets})))
|
