From bca53c2346fc07fcd9322fe42ad4e6e25f6fc3ad Mon Sep 17 00:00:00 2001 From: Jussi Pakkanen Date: Wed, 6 Feb 2013 19:45:23 +0200 Subject: Support for multiple backends. --- builder.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'builder.py') diff --git a/builder.py b/builder.py index 6341776b7..4c4510a42 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__': -- cgit v1.2.3