products/sources/formale sprachen/Coq/checker/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: dune   Sprache: Unknown

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

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

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

[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]