|
(library
(name kernel)
(synopsis "The Coq Kernel")
(public_name coq.kernel)
(wrapped false)
(modules (:standard \ genOpcodeFiles uint63_x86 uint63_amd64 write_uint63))
(libraries lib byterun dynlink))
(executable
(name genOpcodeFiles)
(modules genOpcodeFiles))
(rule
(targets copcodes.ml)
(action (with-stdout-to %{targets} (run ./genOpcodeFiles.exe copml))))
(executable
(name write_uint63)
(modules write_uint63)
(libraries unix))
(rule
(targets uint63.ml)
(deps (:gen ./write_uint63.exe) uint63_x86.ml uint63_amd64.ml)
(action (run %{gen})))
(documentation
(package coq))
; In dev profile, we check the kernel against a more strict set of
; warnings.
(env
(dev (flags :standard -w +a-4-44-50)))
; (ocaml408 (flags :standard -w +a-3-4-44-50)))
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
