[119940] trunk/dports/devel/isl/Portfile
mcalhoun at macports.org
mcalhoun at macports.org
Sun May 11 06:03:36 PDT 2014
Revision: 119940
https://trac.macports.org/changeset/119940
Author: mcalhoun at macports.org
Date: 2014-05-11 06:03:36 -0700 (Sun, 11 May 2014)
Log Message:
-----------
isl:
* Update version 0.12->0.13
* License change (see ChangeLog, version: 0.11)
* Update homepage and master_sites (project seems to have moved)
* Add testing
* Should fix #43259
Modified Paths:
--------------
trunk/dports/devel/isl/Portfile
Modified: trunk/dports/devel/isl/Portfile
===================================================================
--- trunk/dports/devel/isl/Portfile 2014-05-11 11:36:22 UTC (rev 119939)
+++ trunk/dports/devel/isl/Portfile 2014-05-11 13:03:36 UTC (rev 119940)
@@ -7,7 +7,7 @@
name isl
conflicts isl-devel
-version 0.12
+version 0.13
epoch 1
categories devel math
@@ -22,10 +22,9 @@
Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. \
It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.
-license LGPL-2.1
-homepage http://www.kotnet.org/~skimo/isl/
-master_sites ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/ \
- http://www.kotnet.org/~skimo/isl/
+license MIT
+homepage http://freecode.com/projects/isl
+master_sites http://isl.gforge.inria.fr
use_bzip2 yes
@@ -35,11 +34,14 @@
use_autoreconf yes
autoreconf.args -fvi
-checksums rmd160 90363b2ec1eaeb364da396f4e848ce78b760d3e9 \
- sha256 11079ec95f9375d4e069735029e031d310baca8e15f18ef94d17676a6ca02410
+checksums rmd160 418eeadbc3d82cc49b1eab51242813820b7c82c8 \
+ sha256 7265fd897b7f9147fde76560f28ed18f2c20e5f5da7f4bd9d0e01f8a713401f1
depends_lib port:gmp
+test.run yes
+test.target check
+
pre-activate {
# In r92992, cloog switched from installing it's own copy of isl to depending on isl, which means:
# *) cloog can't upgrade until isl is installed
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140511/d56b320d/attachment.html>
More information about the macports-changes
mailing list