diff options
author | Thomas White <taw@bitwiz.org.uk> | 2011-01-16 18:53:45 +0100 |
---|---|---|
committer | Thomas White <taw@physics.org> | 2012-02-22 15:27:11 +0100 |
commit | ebf81a687573e61c9f979f02809b6e98e10ad02a (patch) | |
tree | ee383dba8b04b736bdff89be44b12e7906628b42 /lib/Makefile.in | |
parent | 63dc461a73ba698ccbab42ae3d4427810b1af14e (diff) |
Only use gl_IGNORE_UNUSED_LIBRARIES with recent GSL
Old GSL doesn't play nicely with this option.
Diffstat (limited to 'lib/Makefile.in')
-rw-r--r-- | lib/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Makefile.in b/lib/Makefile.in index 0b4d3f2d..f9e4c1c6 100644 --- a/lib/Makefile.in +++ b/lib/Makefile.in @@ -205,6 +205,10 @@ GNULIB_STRSTR = @GNULIB_STRSTR@ GNULIB_STRTOK_R = @GNULIB_STRTOK_R@ GNULIB_STRVERSCMP = @GNULIB_STRVERSCMP@ GREP = @GREP@ +GSL_CFLAGS = @GSL_CFLAGS@ +GSL_LIBS = @GSL_LIBS@ +GSL_version_CFLAGS = @GSL_version_CFLAGS@ +GSL_version_LIBS = @GSL_version_LIBS@ GTK_CFLAGS = @GTK_CFLAGS@ GTK_LIBS = @GTK_LIBS@ HAVE_DECL_MEMMEM = @HAVE_DECL_MEMMEM@ |