(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))

; Careful with bug https://github.com/ocaml/odoc/issues/148
;
; If we don't pack checker we will have a problem here due to
; duplicate module names in the whole build.
(library
 (name checklib)
 (public_name coq.checklib)
 (synopsis "Coq's Standalone Proof Checker")
 (modules :standard \ coqchk votour)
 (modules_without_implementation cic)
 (wrapped true)
 (libraries coq.lib))

(executable
 (name coqchk)
 (public_name coqchk)
 (package coq)
 (modules coqchk)
 (flags :standard -open Checklib)
 (libraries coq.checklib))

(executable
 (name votour)
 (public_name votour)
 (package coq)
 (modules votour)
 (flags :standard -open Checklib)
 (libraries coq.checklib))