summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authornathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4>2015-12-17 13:56:45 +0000
committernathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4>2015-12-17 13:56:45 +0000
commit07ae82722fe83043bb055a979f0831abcd01a006 (patch)
tree3633ef770f8e8374bf46b630a77202371fec74e1 /configure
parent4eb18c4c4b447ac0adbd294152158a51e66d1699 (diff)
downloadgcc-07ae82722fe83043bb055a979f0831abcd01a006.tar.gz
* config/isl.m4 (ISL_CHECK_VERSION): Add gmp libs.
* configure: Regenerate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231759 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index a6495c4fcce..c3c5cb073df 100755
--- a/configure
+++ b/configure
@@ -6017,8 +6017,8 @@ $as_echo "$as_me: WARNING: using in-tree isl, disabling version check" >&2;}
_isl_saved_LIBS=$LIBS
CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
- LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
- LIBS="${_isl_saved_LIBS} -lisl"
+ LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} ${gmplibs}"
+ LIBS="${_isl_saved_LIBS} -lisl -lgmp"
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl 0.15 (or deprecated 0.14)" >&5
$as_echo_n "checking for isl 0.15 (or deprecated 0.14)... " >&6; }