oppc: emit header include directive

diff --git a/src/openpower/oppc/__main__.py b/src/openpower/oppc/__main__.py
index 846f3ab82b8e5f1c736bf1fdebc4aa20ce8bacdc..692897128cb671aebac89c0e1eb659650a1c954f 100644 (file)
--- 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) {{")