blob: 3a714a8a599f4b8405615b681b98f0b011f70ae1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
(library
(name byterun)
(synopsis "Coq's Kernel Abstract Reduction Machine [C implementation]")
(public_name coq.vm)
(c_names coq_fix_code coq_memory coq_values coq_interp))
(rule
(targets coq_jumptbl.h)
(deps (:h-file coq_instruct.h))
(action (run ./make_jumptbl.sh %{h-file} %{targets})))
|
