From c7bbe4729dc53ddf3a02a7ae3816ec3c146d452e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 17 Feb 2021 12:09:00 +0100
Subject: 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.
---
 kernel/byterun/dune | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'kernel/byterun/dune')

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))))
-- 
cgit v1.2.3