blob: c3c44670bed4b16368c5098b425266b84285b294 (
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) make_jumptbl.sh)
(action (bash "./make_jumptbl.sh %{h-file} %{targets}")))
|
