aboutsummaryrefslogtreecommitdiff
path: root/builder.py
diff options
context:
space:
mode:
Diffstat (limited to 'builder.py')
-rwxr-xr-xbuilder.py8
1 files changed, 7 insertions, 1 deletions
diff --git a/builder.py b/builder.py
index 6341776..4c4510a 100755
--- a/builder.py
+++ b/builder.py
@@ -28,6 +28,7 @@ parser.add_option('--bindir', default='bin', dest='bindir')
parser.add_option('--includedir', default='include', dest='includedir')
parser.add_option('--datadir', default='share', dest='datadir')
parser.add_option('--mandir' , default='share/man', dest='mandir')
+parser.add_option('--generator', default='shell', dest='generator')
class BuilderApp():
@@ -73,7 +74,12 @@ class BuilderApp():
b = build.Build(env)
intr = interpreter.Interpreter(code, b)
intr.run()
- g = generators.ShellGenerator(b, intr)
+ if options.generator == 'shell':
+ g = generators.ShellGenerator(b, intr)
+ elif options.generator == 'ninja':
+ g = generators.NinjaGenerator(b, intr)
+ else:
+ raise RuntimeError('Unknown generator "%s".' % options.generator)
g.generate()
if __name__ == '__main__':