diff options
author | lloyd <[email protected]> | 2012-07-01 19:34:02 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2012-07-01 19:34:02 +0000 |
commit | d21c5a8a595ea66c7f319d2747ce79eb45f25122 (patch) | |
tree | a94e1a8dcfad8aaef15f05a4eaa6b5f04e5bf236 /configure.py | |
parent | 25208d3db9ebfb074a300191496f3668fa113cfc (diff) |
Default to just `g++`. Check GCC version and warn if we are compiling
under something before 4.7.0
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 9b5a5102c..ef89e91cc 100755 --- a/configure.py +++ b/configure.py @@ -1759,6 +1759,12 @@ def main(argv = None): gcc_version = stdout.strip() logging.info('Detected gcc version %s' % (gcc_version)) + + (gcc_major, gcc_minor, gcc_patch) = map(int, gcc_version.split('.')) + + if gcc_major == 4 and gcc_minor < 7: + logging.warning('GCC 4.7.0 or higher is required') + return gcc_version except OSError: logging.warning('Could not execute %s for version check' % (gcc_bin)) |