[129153] trunk/dports/devel/isl/Portfile
larryv at macports.org
larryv at macports.org
Sun Dec 7 13:45:45 PST 2014
Revision: 129153
https://trac.macports.org/changeset/129153
Author: larryv at macports.org
Date: 2014-12-07 13:45:45 -0800 (Sun, 07 Dec 2014)
Log Message:
-----------
isl: Change description, rearrange, and reformat
Modified Paths:
--------------
trunk/dports/devel/isl/Portfile
Modified: trunk/dports/devel/isl/Portfile
===================================================================
--- trunk/dports/devel/isl/Portfile 2014-12-07 20:40:09 UTC (rev 129152)
+++ trunk/dports/devel/isl/Portfile 2014-12-07 21:45:45 UTC (rev 129153)
@@ -7,33 +7,37 @@
name isl
conflicts isl-devel
+epoch 2
version 0.14
revision 2
-epoch 2
categories devel math
-
+platforms darwin
+license MIT
maintainers mcalhoun openmaintainer
-platforms darwin
-description isl is a library for manipulating sets and relations of integer points bounded by linear constraints.
+description Integer Set Library
+long_description isl is a library for manipulating sets and \
+ relations of integer points bounded by linear \
+ constraints. 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.
+homepage http://isl.gforge.inria.fr
-long_description \
- isl is a library for manipulating sets and relations of integer points bounded by linear constraints. \
- 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.
+depends_lib port:gmp
-license MIT
-homepage http://isl.gforge.inria.fr
master_sites http://isl.gforge.inria.fr
-
use_bzip2 yes
-
checksums rmd160 4c69d026b51561bc1948cb7db79331b78a9d2c39 \
sha256 7e3c02ff52f8540f6a85534f54158968417fd676001651c8289c705bd0228f36
-depends_lib port:gmp
-
# Add a missing include to the isl_int headers. Upstream doesn't want to
# bother fixing deprecated APIs
# (https://groups.google.com/d/msg/isl-development/N6UWJDbKXNA/2CY6WHDvOYoJ),
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20141207/76a90c4f/attachment.html>
More information about the macports-changes
mailing list