blob: 01abdb8f6787ec945bac8a7f78ecee2d2fcafddc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
(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)))
; (ocaml408 (flags :standard -w +a-3-4-44-50)))
|
