Tue Feb 25 09:18:25 2014 UTC ()
Changes 0.12.2:
- MinGW-w64 build fix
- fix simplification bug
(adam)
diff -r1.3 -r1.4 pkgsrc/math/isl/Makefile
diff -r1.2 -r1.3 pkgsrc/math/isl/PLIST
diff -r1.2 -r1.3 pkgsrc/math/isl/distinfo
diff -r1.1 -r1.2 pkgsrc/math/isl/patches/patch-Makefile.in
--- pkgsrc/math/isl/Makefile 2013/04/16 06:47:15 1.3
+++ pkgsrc/math/isl/Makefile 2014/02/25 09:18:25 1.4
@@ -1,20 +1,18 @@
-# $NetBSD: Makefile,v 1.3 2013/04/16 06:47:15 adam Exp $
+# $NetBSD: Makefile,v 1.4 2014/02/25 09:18:25 adam Exp $
-DISTNAME= isl-0.11.2
+DISTNAME= isl-0.12.2
CATEGORIES= math
-MASTER_SITES= http://garage.kotnet.org/~skimo/isl/ \
- ${MASTER_SITE_GNU:=gcc/infrastructure/}
+MASTER_SITES= http://isl.gforge.inria.fr/
EXTRACT_SUFX= .tar.bz2
MAINTAINER= pkgsrc-users@NetBSD.org
-HOMEPAGE= http://garage.kotnet.org/~skimo/isl/
+HOMEPAGE= http://isl.gforge.inria.fr/
COMMENT= Integer set library required by gcc graphite
LICENSE= mit
USE_LANGUAGES= c c++
USE_LIBTOOL= yes
GNU_CONFIGURE= yes
-CONFIGURE_ARGS+= --with-gmp=${BUILDLINK_PREFIX.gmpl}
TEST_TARGET= check
--- pkgsrc/math/isl/PLIST 2013/04/16 06:47:15 1.2
+++ pkgsrc/math/isl/PLIST 2014/02/25 09:18:25 1.3
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.2 2013/04/16 06:47:15 adam Exp $
+@comment $NetBSD: PLIST,v 1.3 2014/02/25 09:18:25 adam Exp $
include/isl/aff.h
include/isl/aff_type.h
include/isl/arg.h
@@ -39,6 +39,9 @@
include/isl/union_map_type.h
include/isl/union_set.h
include/isl/union_set_type.h
+include/isl/val.h
+include/isl/val_gmp.h
+include/isl/val_int.h
include/isl/vec.h
include/isl/version.h
include/isl/vertices.h
--- pkgsrc/math/isl/distinfo 2013/04/16 06:47:15 1.2
+++ pkgsrc/math/isl/distinfo 2014/02/25 09:18:25 1.3
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.2 2013/04/16 06:47:15 adam Exp $
+$NetBSD: distinfo,v 1.3 2014/02/25 09:18:25 adam Exp $
-SHA1 (isl-0.11.2.tar.bz2) = ca2c93a58e899379d39f2956b2299c62e3975018
+SHA1 (isl-0.12.2.tar.bz2) = ca98a91e35fb3ded10d080342065919764d6f928
-RMD160 (isl-0.11.2.tar.bz2) = a7034e76ac2676d4071f3a0220cfb16282758693
+RMD160 (isl-0.12.2.tar.bz2) = e8fb6bad4b579865a6a31c160fc21a0c9ad1e7b8
-Size (isl-0.11.2.tar.bz2) = 1252984 bytes
+Size (isl-0.12.2.tar.bz2) = 1319434 bytes
-SHA1 (patch-Makefile.in) = 5e614ec66d26a9ef6868fdd92720a90975dcb89f
+SHA1 (patch-Makefile.in) = 2fcae513a23e31d41a9a0c3e3d792f94c995f354
--- pkgsrc/math/isl/patches/patch-Makefile.in 2013/04/16 06:47:15 1.1
+++ pkgsrc/math/isl/patches/patch-Makefile.in 2014/02/25 09:18:25 1.2
@@ -1,10 +1,10 @@
-$NetBSD: patch-Makefile.in,v 1.1 2013/04/16 06:47:15 adam Exp $
+$NetBSD: patch-Makefile.in,v 1.2 2014/02/25 09:18:25 adam Exp $
'$$libisl' differs between systems, so use 'libisl' instead.
--- Makefile.in.orig 2013-04-16 06:42:30.000000000 +0000
+++ Makefile.in
-@@ -2278,9 +2278,9 @@ install-data-local: $(srcdir)/isl.py
+@@ -2331,9 +2331,9 @@ install-data-local: $(srcdir)/isl.py
case $$libisl in \
'') echo Cannot find isl library name. GDB bindings not installed.;; \
*) echo $(INSTALL_DATA) $(srcdir)/isl.py \