diff options
| author | Nathan Sidwell <nathan@acm.org> | 2015-12-17 13:56:45 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2015-12-17 13:56:45 +0000 |
| commit | 70decafb4d3a0286fe03abee93d700a174488506 (patch) | |
| tree | 3633ef770f8e8374bf46b630a77202371fec74e1 /configure | |
| parent | b52b98849feb98dccfe62a6fc914be3f2e167c1d (diff) | |
| download | gcc-70decafb4d3a0286fe03abee93d700a174488506.zip gcc-70decafb4d3a0286fe03abee93d700a174488506.tar.gz gcc-70decafb4d3a0286fe03abee93d700a174488506.tar.bz2 | |
isl.m4 (ISL_CHECK_VERSION): Add gmp libs.
* config/isl.m4 (ISL_CHECK_VERSION): Add gmp libs.
* configure: Regenerate.
From-SVN: r231759
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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; } |