From 8541a43c053d659196992f4e990ec317cd199af8 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 21 Feb 2019 16:45:12 +0000
Subject: [Kernel] Simpler generation of opcode files

Files kernel/copcodes.ml, kernel/byterun/coq_instruct.h, and
kernel/byterun/coq_jumptbl.h are generated by a simple OCaml program
rather than a pipeline of sed and awk text processing.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a82927f8cf..7c8f0afb74 100644
--- a/Makefile
+++ b/Makefile
@@ -101,7 +101,7 @@ export GRAMFILES=$(addprefix gramlib/.pack/gramlib__,Ploc Plexing Gramext Gramma
 export GRAMMLFILES := $(addsuffix .ml, $(GRAMFILES)) $(addsuffix .mli, $(GRAMFILES))
 export GENGRAMFILES := $(GRAMMLFILES) gramlib/.pack/gramlib.ml
 export GENMLFILES:=$(LEXFILES:.mll=.ml) $(YACCFILES:.mly=.ml) $(GENMLGFILES)  ide/coqide_os_specific.ml kernel/copcodes.ml kernel/uint63.ml
-export GENHFILES:=kernel/byterun/coq_jumptbl.h
+export GENHFILES:=kernel/byterun/coq_instruct.h kernel/byterun/coq_jumptbl.h
 export GENFILES:=$(GENMLFILES) $(GENMLIFILES) $(GENHFILES)
 
 ## More complex file lists
-- 
cgit v1.2.3