diff options
| author | adam <adam@pkgsrc.org> | 2014-02-25 09:18:25 +0000 |
|---|---|---|
| committer | adam <adam@pkgsrc.org> | 2014-02-25 09:18:25 +0000 |
| commit | 433f30202f3db82bf3641a185ba9f81fe2a83ff0 (patch) | |
| tree | 3553a4d3524ab12daf5562a9c196c6083d61262a /math | |
| parent | 91f055227d832fe72791dbe0c58a126519fc9c54 (diff) | |
| download | pkgsrc-433f30202f3db82bf3641a185ba9f81fe2a83ff0.tar.gz | |
Changes 0.12.2:
- MinGW-w64 build fix
- fix simplification bug
Diffstat (limited to 'math')
| -rw-r--r-- | math/isl/Makefile | 10 | ||||
| -rw-r--r-- | math/isl/PLIST | 5 | ||||
| -rw-r--r-- | math/isl/distinfo | 10 | ||||
| -rw-r--r-- | math/isl/patches/patch-Makefile.in | 4 |
4 files changed, 15 insertions, 14 deletions
diff --git a/math/isl/Makefile b/math/isl/Makefile index a311b1ddd3a..6148a3a51c3 100644 --- a/math/isl/Makefile +++ b/math/isl/Makefile @@ -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 diff --git a/math/isl/PLIST b/math/isl/PLIST index 413a05ed552..2e99fa04eb2 100644 --- a/math/isl/PLIST +++ b/math/isl/PLIST @@ -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.h 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 diff --git a/math/isl/distinfo b/math/isl/distinfo index 774dd2b4419..4adb28f5ca1 100644 --- a/math/isl/distinfo +++ b/math/isl/distinfo @@ -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 -RMD160 (isl-0.11.2.tar.bz2) = a7034e76ac2676d4071f3a0220cfb16282758693 -Size (isl-0.11.2.tar.bz2) = 1252984 bytes -SHA1 (patch-Makefile.in) = 5e614ec66d26a9ef6868fdd92720a90975dcb89f +SHA1 (isl-0.12.2.tar.bz2) = ca98a91e35fb3ded10d080342065919764d6f928 +RMD160 (isl-0.12.2.tar.bz2) = e8fb6bad4b579865a6a31c160fc21a0c9ad1e7b8 +Size (isl-0.12.2.tar.bz2) = 1319434 bytes +SHA1 (patch-Makefile.in) = 2fcae513a23e31d41a9a0c3e3d792f94c995f354 diff --git a/math/isl/patches/patch-Makefile.in b/math/isl/patches/patch-Makefile.in index ada02cc427b..7931f2f7281 100644 --- a/math/isl/patches/patch-Makefile.in +++ b/math/isl/patches/patch-Makefile.in @@ -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 \ |