diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2016-09-27 08:48:17 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-09-27 08:49:12 -0700 |
| commit | db39f34e8509b314cf0f38dcb3107842d6c41156 (patch) | |
| tree | 94260894b09a4180c72f4e64ea5af6ec0c6d8fef /configure.ac | |
| parent | 0f31cd341971a443714c9e7937e4e6e7e7a3dc21 (diff) | |
| download | grep-db39f34e8509b314cf0f38dcb3107842d6c41156.tar.gz | |
build: port .git builds to older GCC
Problem reported by Dagobert Michelsen in:
http://lists.gnu.org/archive/html/grep-devel/2016-09/msg00018.html
* configure.ac (gl_gcc_warnings): Default to false if .git
exists but GCC is too old.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/configure.ac b/configure.ac index afb8cd28..202e30b1 100644 --- a/configure.ac +++ b/configure.ac @@ -109,10 +109,17 @@ AC_ARG_ENABLE([gcc-warnings], *) AC_MSG_ERROR([bad value $enableval for gcc-warnings option]) ;; esac gl_gcc_warnings=$enableval], - [if test -d "$srcdir"/.git; then - gl_gcc_warnings=yes - else - gl_gcc_warnings=no + [gl_gcc_warnings=no + if test "$GCC" = yes && test -d "$srcdir"/.git; then + AC_COMPILE_IFELSE( + [AC_LANG_PROGRAM([[ + #if 6 < __GNUC__ + (2 <= __GNUC_MINOR__) + int main (void) { return 0; } + #else + #error "This GCC is too old." + #endif + ]])], + [gl_gcc_warnings=yes]) fi] ) |