Quelle  dune   Sprache: Shell

(library
 (name coqrun)
 (synopsis "Rocq's Kernel Abstract Reduction Machine [C implementation]")
 (public_name rocq-runtime.vm)
 (foreign_stubs
  (language c)
  (names rocq_fix_code rocq_float64 rocq_memory rocq_values rocq_interp)
  (flags :standard (:include %{project_root}/config/dune.c_flags))))

(deprecated_library_name
 (old_public_name coq-core.vm)
 (new_public_name rocq-runtime.vm))

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

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

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