[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