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