Make pointers 32bit in new protocol format

1 files changed, 4 insertions, 0 deletions

diff --git a/spice_codegen.py b/spice_codegen.py
index 1d2314a..3a9989d 100755
--- a/spice_codegen.py
+++ b/spice_codegen.py
@@ -115,6 +115,8 @@ parser.add_option("-i", "--include",
                   help="Include FILE in generated code")
 parser.add_option("--prefix", dest="prefix",
                   help="set public symbol prefix", default="")
+parser.add_option("--ptrsize", dest="ptrsize",
+                  help="set default pointer size", default="4")
 
 (options, args) = parser.parse_args()
 
@@ -124,6 +126,8 @@ if len(args) == 0:
 if len(args) == 1:
     parser.error("No destination file specified")
 
+ptypes.default_pointer_size = int(options.ptrsize)
+
 proto_file = args[0]
 dest_file = args[1]
 proto = spice_parser.parse(proto_file)