ISL updated to 0.14.1

niXman · Oct 5, 2015 · ec669ed · ec669ed
1 parent c84b183
commit ec669ed
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 3 deletions.
diff --git a/patches/isl/isl-0.14.1-no-undefined.patch b/patches/isl/isl-0.14.1-no-undefined.patch
@@ -0,0 +1,11 @@
+--- isl-0.14.1/Makefile.am.orig	2015-06-09 00:57:27.063200000 +0400
++++ isl-0.14.1/Makefile.am	2015-06-09 00:59:20.587200000 +0400
+@@ -164,7 +164,7 @@
+ 	isl_vertices_private.h \
+ 	isl_vertices.c
+ libisl_la_LIBADD = @MP_LIBS@
+-libisl_la_LDFLAGS = -version-info @versioninfo@ \
++libisl_la_LDFLAGS = -version-info @versioninfo@ -no-undefined \
+ 	@MP_LDFLAGS@
+
+ isl_test_LDFLAGS = @MP_LDFLAGS@
diff --git a/scripts/isl.sh b/scripts/isl.sh
@@ -35,10 +35,10 @@
 
 # **************************************************************************
 
-PKG_VERSION=0.12.2
+PKG_VERSION=0.14.1
 PKG_NAME=$BUILD_ARCHITECTURE-isl-${PKG_VERSION}-$LINK_TYPE_SUFFIX
 PKG_DIR_NAME=isl-${PKG_VERSION}
-PKG_TYPE=.tar.lzma
+PKG_TYPE=.tar.xz
 PKG_URLS=(
 	"http://isl.gforge.inria.fr/isl-${PKG_VERSION}${PKG_TYPE}"
 )
@@ -48,7 +48,7 @@ PKG_PRIORITY=prereq
 #
 
 PKG_PATCHES=(
-	isl/isl-0.12-no-undefined.patch
+	isl/isl-0.14.1-no-undefined.patch
 )
 
 #