diff options
author | Lauri Nurmi <[email protected]> | 2016-07-03 00:36:15 +0300 |
---|---|---|
committer | Lauri Nurmi <[email protected]> | 2016-07-03 01:25:06 +0300 |
commit | 60c2f7a3d0ad55ca78e0df7034f9d9c4926a3ff8 (patch) | |
tree | a67fbf6a6dafdc97e5ef880afd02a4513bff95ea | |
parent | 681ecab83d75f56ff7017ade021ba3d36a099edc (diff) |
Adjust GCC binary name on OpenBSD
The binary name for a sufficiently new GCC is 'eg++' on OpenBSD
-rwxr-xr-x | configure.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 324d84079..f61ea9e57 100755 --- a/configure.py +++ b/configure.py @@ -1922,6 +1922,12 @@ def main(argv = None): elif options.os == 'darwin': if have_program('clang++'): options.compiler = 'clang' + elif options.os == 'openbsd': + if have_program('eg++'): + info_cc['gcc'].binary_name = 'eg++' + else: + logging.warning('Default GCC is too old; install a newer one using \'pkg_add gcc\'') + options.compiler = 'gcc' else: options.compiler = 'gcc' logging.info('Guessing to use compiler %s (use --cc to set)' % ( |