diff ide/runbuild.py @ 15:de004f808e56

Fixup in multidocument area stuff
author windel
date Tue, 15 Nov 2011 07:35:00 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ide/runbuild.py	Tue Nov 15 07:35:00 2011 +0100
@@ -0,0 +1,16 @@
+import sys
+
+# Compiler imports:
+from compiler.compiler import Compiler
+from project import Project
+
+if __name__ == '__main__':
+   if len(sys.argv) < 2:
+      print('Use {0} projectfile'.format(sys.argv[0]))
+      sys.exit(-1)
+   filename = sys.argv[1]
+   project = Project()
+   project.load(filename)
+   pc = Compiler()
+   pc.compileProject(project)
+