diff options
-rwxr-xr-x | configure.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 85f3689..c2daf0a 100755 --- a/configure.py +++ b/configure.py @@ -27,7 +27,7 @@ sys.path.insert(0, 'misc') import ninja_syntax parser = OptionParser() -platforms = ['linux', 'freebsd', 'mingw', 'windows'] +platforms = ['linux', 'freebsd', 'solaris', 'mingw', 'windows'] profilers = ['gmon', 'pprof'] parser.add_option('--platform', help='target platform (' + '/'.join(platforms) + ')', @@ -59,6 +59,8 @@ if platform is None: platform = 'linux' elif platform.startswith('freebsd'): platform = 'freebsd' + elif platform.startswith('solaris'): + platform = 'solaris' elif platform.startswith('mingw'): platform = 'mingw' elif platform.startswith('win'): @@ -222,7 +224,7 @@ n.newline() objs = [] -if platform not in ('mingw', 'windows'): +if platform not in ('solaris', 'mingw', 'windows'): n.comment('browse_py.h is used to inline browse.py.') n.rule('inline', command='src/inline.sh $varname < $in > $out', |