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.
---
 kernel/make-opcodes | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 kernel/make-opcodes

(limited to 'kernel/make-opcodes')

diff --git a/kernel/make-opcodes b/kernel/make-opcodes
deleted file mode 100644
index e1371b3d0c..0000000000
--- a/kernel/make-opcodes
+++ /dev/null
@@ -1,3 +0,0 @@
-$1=="enum" {n=0; next; }
-           {printf("(* THIS FILE IS GENERATED. DON'T EDIT. *)\n\n");
-           for (i = 1; i <= NF; i++) {printf("let op%s = %d\n", $i, n++);}}
-- 
cgit v1.2.3