diff options
| author | Guillaume Melquiond | 2021-02-17 12:09:00 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-19 11:17:26 +0100 |
| commit | c7bbe4729dc53ddf3a02a7ae3816ec3c146d452e (patch) | |
| tree | 18f2e1a463ae9c4106fbfe4703c2098ff740cf20 /kernel/byterun/dune | |
| parent | bbb9876da3093658c9eca206a585b045ed258220 (diff) | |
Add a file coq_arity.h generated by genOpcodeFiles.ml.
This avoids forgetting to add opcodes to coq_fix_code.c, and thus prevents
arities being mistakenly set to zero.
Diffstat (limited to 'kernel/byterun/dune')
| -rw-r--r-- | kernel/byterun/dune | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/byterun/dune b/kernel/byterun/dune index d3e2a2fa7f..a2484f79a7 100644 --- a/kernel/byterun/dune +++ b/kernel/byterun/dune @@ -14,3 +14,7 @@ (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)))) |