coq-elpi/src/dune.in at master · lweqx/coq-elpi · GitHub

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
(library
 (name elpi_plugin)
 (public_name rocq-elpi.elpi)
 (synopsis "Elpi")
 (flags :standard -w -27)
 (preprocessor_deps rocq_elpi_config.mlh)
 (preprocess
  (pps ppx_deriving.std ppx_optcomp -- -cookie "ppx_optcomp.env=env ~coq:(Defined \"%{coq:version.major}.%{coq:version.minor}\")"))
 (libraries @@ROCQ_RUNTIME@@.plugins.ltac @@ROCQ_RUNTIME@@.vernac elpi))

(rule
  (target rocq_elpi_builtins_arg_HOAS.ml)
  (deps ../elpi/coq-arg-HOAS.elpi (package elpi))
  (action (with-stdout-to %{target}
    (progn
      (echo "(* Automatically generated from %{deps}, don't edit *)\n")
	     (echo "let code = {|\n")
      (cat %{deps})
	     (echo "|}\n")))))

(rule
  (target rocq_elpi_builtins_HOAS.ml)
  (deps ../elpi/coq-HOAS.elpi)
  (action (with-stdout-to %{target}
    (progn
      (echo "(* Automatically generated from %{deps}, don't edit *)\n")
	     (echo "let code = {|\n")
      (cat %{deps})
	     (echo "|}\n")))))

(rule
  (target rocq_elpi_config.ml)
  (action (with-stdout-to %{target}
    (progn
      (echo "(* Automatically generated, don't edit *)\n")
      (echo "[%%import \"rocq_elpi_config.mlh\"]\n")
      (echo "let elpi_version = \"%{version:elpi}\"\n")))))

(rule
  (target rocq_elpi_config.mlh)
  (action (with-stdout-to %{target}
    (progn
      (echo "(* Automatically generated, don't edit *)\n")
      (echo "[%%define elpi ")
      (run rocq_elpi_version_parser %{version:elpi})
      (echo "]\n")))))


(coq.pp
 (modules rocq_elpi_vernacular_syntax rocq_elpi_arg_syntax))