diff options
| author | ro <ro@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-03 09:26:58 +0000 |
|---|---|---|
| committer | ro <ro@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-03 09:26:58 +0000 |
| commit | 03946639ed31d9bf53a0c8b229d699eb97e5dc1d (patch) | |
| tree | 55e6f6c8aae9d906ef6a5a002e107dfec492f2be /configure | |
| parent | c1a30d6c48945685b7c0484d97819f3f62700764 (diff) | |
| download | gcc-03946639ed31d9bf53a0c8b229d699eb97e5dc1d.tar.gz | |
Fix ISL check with static libisl
toplevel:
* configure: Regenerate.
config:
* isl.m4 (ISL_CHECK_VERSION): Add -lisl to LIBS, not LDFLAGS.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189207 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure index 0dd80caba4d..d452fa7c2b4 100755 --- a/configure +++ b/configure @@ -5689,9 +5689,11 @@ if test "x$with_isl" != "xno"; then if test "${ENABLE_ISL_CHECK}" = yes ; then _isl_saved_CFLAGS=$CFLAGS _isl_saved_LDFLAGS=$LDFLAGS + _isl_saved_LIBS=$LIBS CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}" - LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} -lisl" + LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}" + LIBS="${_isl_saved_LIBS} -lisl" echo $CFLAGS { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.10 of ISL" >&5 @@ -5734,6 +5736,7 @@ $as_echo "$gcc_cv_isl" >&6; } CFLAGS=$_isl_saved_CFLAGS LDFLAGS=$_isl_saved_LDFLAGS + LIBS=$_isl_saved_LIBS fi |