--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/makeuser.py	Mon Dec 16 12:49:24 2013 +0100
@@ -0,0 +1,18 @@
+#!/usr/bin/env python
+
+import sys
+import os
+import zcc
+
+def make_user():
+    arglist = ['lib.c3', 'ipc.c3', 'hello.c3']
+    arglist += ['--target', 'arm']
+    arglist += ['--dumpasm', '--dumpir']
+    arglist += ['--log', 'debug']
+
+    args = zcc.parser.parse_args(arglist)
+    zcc.main(args)
+
+if __name__ == '__main__':
+    sys.path.insert(0, os.path.join('..', 'python'))
+    make_user()