diff options
author | Jussi Pakkanen <jpakkane@gmail.com> | 2013-02-10 20:56:36 +0200 |
---|---|---|
committer | Jussi Pakkanen <jpakkane@gmail.com> | 2013-02-10 20:56:36 +0200 |
commit | 25984b8e650291bc43ff45c770110a339273ce11 (patch) | |
tree | 78bea77a7dd0d0b6cf4d52d6e2fd15ac88bd1d85 /builder.py | |
parent | 3880670a8606320cf0e2b412c92f83b72ad2c7bc (diff) | |
download | meson-25984b8e650291bc43ff45c770110a339273ce11.zip meson-25984b8e650291bc43ff45c770110a339273ce11.tar.gz meson-25984b8e650291bc43ff45c770110a339273ce11.tar.bz2 |
Added command line arguments for build type and stripping.
Diffstat (limited to 'builder.py')
-rwxr-xr-x | builder.py | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -26,6 +26,10 @@ usage_info = '%prog [options] source_dir build_dir' parser = OptionParser(usage=usage_info, version=version) +build_types = ['plain', 'debug', 'optimized'] +buildtype_help = 'build type, one of: %s' % ', '.join(build_types) +buildtype_help += ' (default: %default)' + parser.add_option('--prefix', default='/usr/local', dest='prefix', help='the installation prefix (default: %default)') parser.add_option('--libdir', default='lib', dest='libdir', @@ -40,6 +44,10 @@ parser.add_option('--mandir' , default='share/man', dest='mandir', help='relatie path of man files (default: %default)') parser.add_option('-G', '--generator', default='shell', dest='generator', help='the backend generator to use (default: %default)') +parser.add_option('--buildtype', default='debug', type='choice', choices=build_types, dest='buildtype', + help=buildtype_help) +parser.add_option('--strip', action='store_true', dest='strip', default=False,\ + help='strip targets on install (default: %default)') class BuilderApp(): |