blob: d918f853dda101655fc53643f667a91cde052b7d (
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
|
(rule (copy %{project_root}/kernel/names.ml names.ml))
(rule (copy %{project_root}/kernel/names.mli names.mli))
(rule (copy %{project_root}/kernel/esubst.ml esubst.ml))
(rule (copy %{project_root}/kernel/esubst.mli esubst.mli))
(library
(name checker)
(public_name coq.checker)
(synopsis "Coq's Standalone Proof Checker")
(modules values analyze names esubst)
(wrapped false)
(libraries coq.lib))
(executable
(name main)
(public_name coqchk)
(modules :standard \ votour values analyze names esubst)
(modules_without_implementation cic)
(libraries coq.checker))
(executable
(name votour)
(public_name votour)
(modules votour)
(libraries coq.checker))
|
