aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorlloyd <[email protected]>2012-07-01 19:34:02 +0000
committerlloyd <[email protected]>2012-07-01 19:34:02 +0000
commitd21c5a8a595ea66c7f319d2747ce79eb45f25122 (patch)
treea94e1a8dcfad8aaef15f05a4eaa6b5f04e5bf236 /configure.py
parent25208d3db9ebfb074a300191496f3668fa113cfc (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-xconfigure.py6
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))