(library
 (name coqrun)
 (synopsis "Coq's Kernel Abstract Reduction Machine [C implementation]")
 (public_name coq-core.vm)
 (foreign_stubs
  (language c)
  (names coq_fix_code coq_float64 coq_memory coq_values coq_interp)
  (flags (:include %{project_root}/config/dune.c_flags))))

(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))))

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