1 files changed, 13 insertions, 0 deletions
diff --git a/icefuzz/export.py b/icefuzz/export.py
new file mode 100644
index 0000000..dc1a66f
--- /dev/null
+++ b/icefuzz/export.py
@@ -0,0 +1,13 @@
+#!/usr/bin/python
+
+from __future__ import division
+from __future__ import print_function
+
+with open("../icebox/iceboxdb.py", "w") as f:
+    for i in [ "database_io", "database_logic", "database_ramb", "database_ramt", "database_ramb_8k", "database_ramt_8k" ]:
+        print('%s_txt = """' % i, file=f)
+        with open("%s.txt" % i, "r") as fi:
+            for line in fi:
+                print(line, end="", file=f)
+        print('"""', file=f)
+