(library
 (name kernel)
 (synopsis "The Coq Kernel")
 (public_name coq.kernel)
 (wrapped false)
 (modules_without_implementation cinstr nativeinstr)
 (libraries lib byterun))

(rule
 (targets copcodes.ml)
 (deps (:h-file byterun/coq_instruct.h) make-opcodes)
 (action (run ./make_opcodes.sh %{h-file} %{targets})))

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