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
31
32
33
34
35
36
37
38
39
40
41
42
|
(library
(name kernel)
(synopsis "The Coq Kernel")
(public_name coq-core.kernel)
(wrapped false)
(modules_without_implementation values declarations entries)
(modules (:standard \ genOpcodeFiles uint63_31 uint63_63 float64_31 float64_63))
(libraries boot lib coqrun dynlink))
(executable
(name genOpcodeFiles)
(modules genOpcodeFiles))
(rule
(targets vmopcodes.ml)
(action (with-stdout-to %{targets} (run ./genOpcodeFiles.exe copml))))
(rule
(targets vmopcodes.mli)
(action (with-stdout-to %{targets} (run ./genOpcodeFiles.exe copmli))))
(rule
(targets uint63.ml)
(deps (:gen-file uint63_%{ocaml-config:int_size}.ml))
(action (copy# %{gen-file} %{targets})))
(rule
(targets float64.ml)
(deps (:gen-file float64_%{ocaml-config:int_size}.ml))
(action (copy# %{gen-file} %{targets})))
(documentation
(package coq-core))
; In dev profile, we check the kernel against a more strict set of
; warnings.
(env
(dev (flags :standard -w @a-4-40-44-50)))
(deprecated_library_name
(old_public_name coq.kernel)
(new_public_name coq-core.kernel))
|
