blob: f03fe07607311a9e59abb83dbc22f0472f9c5e75 (
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
42
|
(library
(name grammar)
(synopsis "Coq Camlp5 Grammar Extensions for Plugins")
(public_name coq.grammar)
(wrapped false)
(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:grammar.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})))
|
