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 | |
parent | 25208d3db9ebfb074a300191496f3668fa113cfc (diff) |
Default to just `g++`. Check GCC version and warn if we are compiling
under something before 4.7.0
-rwxr-xr-x | configure.py | 6 | ||||
-rw-r--r-- | src/build-data/cc/gcc.txt | 2 |
2 files changed, 7 insertions, 1 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)) diff --git a/src/build-data/cc/gcc.txt b/src/build-data/cc/gcc.txt index 38fe5a5e4..33b0cbfe6 100644 --- a/src/build-data/cc/gcc.txt +++ b/src/build-data/cc/gcc.txt @@ -1,6 +1,6 @@ macro_name GCC -binary_name g++-4.7.0 +binary_name g++ compile_option "-c " output_to_option "-o " |