(library
 (name byterun)
 (synopsis "Coq's Kernel Abstract Reduction Machine [C implementation]")
 (public_name coq.vm)
 (c_flags (:include %{project_root}/config/dune.c_flags))
 (c_names coq_fix_code coq_memory coq_values coq_interp))

(rule
 (targets coq_instruct.h)
 (action (with-stdout-to %{targets} (run ../genOpcodeFiles.exe enum))))

(rule
 (targets coq_jumptbl.h)
 (action (with-stdout-to %{targets} (run ../genOpcodeFiles.exe jump))))
