; 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 coq_checklib)
 (public_name coq-core.checklib)
 (synopsis "Coq's Standalone Proof Checker")
 (modules :standard \ coqchk votour)
 (wrapped true)
 (libraries coq-core.boot coq-core.kernel))

(executable
 (name coqchk)
 (public_name coqchk)
 (modes exe byte)
 ; Move to coq-checker?
 (package coq-core)
 (modules coqchk)
 (flags :standard -open Coq_checklib)
 (libraries coq_checklib))

(executable
 (name votour)
 (public_name votour)
 (package coq-core)
 (modules votour)
 (flags :standard -open Coq_checklib)
 (libraries coq_checklib))

