Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112131415161718192021(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))))
(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))))