mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
21 lines
620 B
Diff
21 lines
620 B
Diff
--- configure.orig 2017-01-09 14:06:20.000000000 -0700
|
|
+++ configure 2018-10-07 05:48:37.000000000 -0700
|
|
@@ -5976,7 +5976,7 @@
|
|
$as_echo "$as_me: WARNING: using in-tree ISL, disabling version check" >&2;}
|
|
fi
|
|
|
|
- isllibs="${isllibs} -lisl"
|
|
+ isllibs="${isllibs} -lisl.15"
|
|
|
|
|
|
|
|
@@ -5987,7 +5987,7 @@
|
|
|
|
CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
|
|
LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
|
|
- LIBS="${_isl_saved_LIBS} -lisl"
|
|
+ LIBS="${_isl_saved_LIBS} -lisl.15"
|
|
|
|
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for compatible ISL" >&5
|
|
$as_echo_n "checking for compatible ISL... " >&6; }
|