From e167aad7e46e5845be417446c7e5a7d4df199764 Mon Sep 17 00:00:00 2001
From: Michael Hamburg <mike@shiftleft.org>
Date: Thu, 7 Jan 2016 14:33:38 -0800
Subject: [PATCH] working on python generation

---
 src/gen_headers/decaf.h.py  | 2 +-
 src/gen_headers/gen_file.py | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/gen_headers/decaf.h.py b/src/gen_headers/decaf.h.py
index 45dc6c6..159545c 100644
--- a/src/gen_headers/decaf.h.py
+++ b/src/gen_headers/decaf.h.py
@@ -31,7 +31,7 @@ typedef struct gf_%(longnum)s_s {
 /** Number of bytes in a serialized scalar. */
 #define %(C_NS)s_SCALAR_BYTES %(scalar_ser_bytes)d
 
-/** Twisted Edwards (-1,d-1) extended homogeneous coordinates */
+/** Twisted Edwards extended homogeneous coordinates */
 typedef struct %(c_ns)s_point_s {
     /** @cond internal */
     gf_%(longnum)s_t x,y,z,t;
diff --git a/src/gen_headers/gen_file.py b/src/gen_headers/gen_file.py
index 423e0c0..60e8367 100644
--- a/src/gen_headers/gen_file.py
+++ b/src/gen_headers/gen_file.py
@@ -20,6 +20,8 @@ def redoc(filename,doc,author):
     doc = doc.replace(" * \n", " *\n")
     return doc[1:]
 
+gend_files = {}
+
 def gen_file(name,doc,code,author="Mike Hamburg"):
     is_header = name.endswith(".h") or name.endswith(".hxx") or name.endswith(".h++")
     
@@ -42,7 +44,7 @@ def gen_file(name,doc,code,author="Mike Hamburg"):
                 #endif /* %(header_guard)s */
                 """) % { "header_guard" : header_guard, "code": code }
         ret += code[1:-1]
-        print ret
+        gend_files[ns_name] = ret
         
         if ns_name == name:
             # It's not namespaced