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
|
(library
(name coqsimpleio_plugin)
(public_name coq-simple-io.plugin)
(flags :standard -rectypes -warn-error -3 -w -8-27+40)
(modules Coqsimpleio IOLib Compat)
(libraries unix
(select void_for_linking-plugin-extraction from
(coq-core.plugins.extraction -> void_for_linking-plugin-extraction.empty)
(coq.plugins.extraction -> void_for_linking-plugin-extraction.empty))
(select void_for_linking-config from
(coq-core.config -> void_for_linking-config.empty)
(coq.config -> void_for_linking-config.empty))))
(coq.pp (modules coqsimpleio))
(rule (action (write-file void_for_linking-plugin-extraction.empty "")))
(rule (action (write-file void_for_linking-config.empty "")))
(rule
(alias compat)
(target compat.ml)
(deps compat.ml.cppo)
(action (run %{bin:cppo} -V OCAML:%{ocaml_version} -V COQ:%{coq:version} -n %{deps} -o %{target})))
(rule
(alias compat)
(target compat.mli)
(deps compat.mli.cppo)
(action (run %{bin:cppo} -V OCAML:%{ocaml_version} -V COQ:%{coq:version} -n %{deps} -o %{target})))
(rule
(alias compat)
(target coqsimpleio.mlg)
(deps coqsimpleio.mlg.cppo)
(action (run %{bin:cppo} -V OCAML:%{ocaml_version} -V COQ:%{coq:version} -n %{deps} -o %{target})))
|
