From: Dmitry Selyutin <ghostmansd@gmail.com>
Date: Tue, 16 Jan 2024 19:09:45 +0000 (+0300)
Subject: oppc: emit header include directive
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aa4b3786a72351b918213353f4c92e3a3601f9b1;p=openpower-isa.git

oppc: emit header include directive
---

diff --git a/src/openpower/oppc/__main__.py b/src/openpower/oppc/__main__.py
index 846f3ab8..69289712 100644
--- a/src/openpower/oppc/__main__.py
+++ b/src/openpower/oppc/__main__.py
@@ -30,6 +30,8 @@ for insn in db:
         print(insn.pcode)
         raise exc
 
+print("#include <oppc.h>")
+print()
 for (handler, code) in table.items():
     print("void")
     print(f"{handler}(struct oppc_value const *insn) {{")