<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head><meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>[119940] trunk/dports/devel/isl/Portfile</title>
</head>
<body>
<style type="text/css"><!--
#msg dl.meta { border: 1px #006 solid; background: #369; padding: 6px; color: #fff; }
#msg dl.meta dt { float: left; width: 6em; font-weight: bold; }
#msg dt:after { content:':';}
#msg dl, #msg dt, #msg ul, #msg li, #header, #footer, #logmsg { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt; }
#msg dl a { font-weight: bold}
#msg dl a:link { color:#fc3; }
#msg dl a:active { color:#ff0; }
#msg dl a:visited { color:#cc6; }
h3 { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt; font-weight: bold; }
#msg pre { overflow: auto; background: #ffc; border: 1px #fa0 solid; padding: 6px; }
#logmsg { background: #ffc; border: 1px #fa0 solid; padding: 1em 1em 0 1em; }
#logmsg p, #logmsg pre, #logmsg blockquote { margin: 0 0 1em 0; }
#logmsg p, #logmsg li, #logmsg dt, #logmsg dd { line-height: 14pt; }
#logmsg h1, #logmsg h2, #logmsg h3, #logmsg h4, #logmsg h5, #logmsg h6 { margin: .5em 0; }
#logmsg h1:first-child, #logmsg h2:first-child, #logmsg h3:first-child, #logmsg h4:first-child, #logmsg h5:first-child, #logmsg h6:first-child { margin-top: 0; }
#logmsg ul, #logmsg ol { padding: 0; list-style-position: inside; margin: 0 0 0 1em; }
#logmsg ul { text-indent: -1em; padding-left: 1em; }#logmsg ol { text-indent: -1.5em; padding-left: 1.5em; }
#logmsg > ul, #logmsg > ol { margin: 0 0 1em 0; }
#logmsg pre { background: #eee; padding: 1em; }
#logmsg blockquote { border: 1px solid #fa0; border-left-width: 10px; padding: 1em 1em 0 1em; background: white;}
#logmsg dl { margin: 0; }
#logmsg dt { font-weight: bold; }
#logmsg dd { margin: 0; padding: 0 0 0.5em 0; }
#logmsg dd:before { content:'\00bb';}
#logmsg table { border-spacing: 0px; border-collapse: collapse; border-top: 4px solid #fa0; border-bottom: 1px solid #fa0; background: #fff; }
#logmsg table th { text-align: left; font-weight: normal; padding: 0.2em 0.5em; border-top: 1px dotted #fa0; }
#logmsg table td { text-align: right; border-top: 1px dotted #fa0; padding: 0.2em 0.5em; }
#logmsg table thead th { text-align: center; border-bottom: 1px solid #fa0; }
#logmsg table th.Corner { text-align: left; }
#logmsg hr { border: none 0; border-top: 2px dashed #fa0; height: 1px; }
#header, #footer { color: #fff; background: #636; border: 1px #300 solid; padding: 6px; }
#patch { width: 100%; }
#patch h4 {font-family: verdana,arial,helvetica,sans-serif;font-size:10pt;padding:8px;background:#369;color:#fff;margin:0;}
#patch .propset h4, #patch .binary h4 {margin:0;}
#patch pre {padding:0;line-height:1.2em;margin:0;}
#patch .diff {width:100%;background:#eee;padding: 0 0 10px 0;overflow:auto;}
#patch .propset .diff, #patch .binary .diff {padding:10px 0;}
#patch span {display:block;padding:0 10px;}
#patch .modfile, #patch .addfile, #patch .delfile, #patch .propset, #patch .binary, #patch .copfile {border:1px solid #ccc;margin:10px 0;}
#patch ins {background:#dfd;text-decoration:none;display:block;padding:0 10px;}
#patch del {background:#fdd;text-decoration:none;display:block;padding:0 10px;}
#patch .lines, .info {color:#888;background:#fff;}
--></style>
<div id="msg">
<dl class="meta">
<dt>Revision</dt> <dd><a href="https://trac.macports.org/changeset/119940">119940</a></dd>
<dt>Author</dt> <dd>mcalhoun@macports.org</dd>
<dt>Date</dt> <dd>2014-05-11 06:03:36 -0700 (Sun, 11 May 2014)</dd>
</dl>
<h3>Log Message</h3>
<pre>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</pre>
<h3>Modified Paths</h3>
<ul>
<li><a href="#trunkdportsdevelislPortfile">trunk/dports/devel/isl/Portfile</a></li>
</ul>
</div>
<div id="patch">
<h3>Diff</h3>
<a id="trunkdportsdevelislPortfile"></a>
<div class="modfile"><h4>Modified: trunk/dports/devel/isl/Portfile (119939 => 119940)</h4>
<pre class="diff"><span>
<span class="info">--- 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)
</span><span class="lines">@@ -7,7 +7,7 @@
</span><span class="cx"> name isl
</span><span class="cx"> conflicts isl-devel
</span><span class="cx">
</span><del>-version 0.12
</del><ins>+version 0.13
</ins><span class="cx"> epoch 1
</span><span class="cx">
</span><span class="cx"> categories devel math
</span><span class="lines">@@ -22,10 +22,9 @@
</span><span class="cx"> 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. \
</span><span class="cx"> 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.
</span><span class="cx">
</span><del>-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/
</del><ins>+license MIT
+homepage http://freecode.com/projects/isl
+master_sites http://isl.gforge.inria.fr
</ins><span class="cx">
</span><span class="cx"> use_bzip2 yes
</span><span class="cx">
</span><span class="lines">@@ -35,11 +34,14 @@
</span><span class="cx"> use_autoreconf yes
</span><span class="cx"> autoreconf.args -fvi
</span><span class="cx">
</span><del>-checksums rmd160 90363b2ec1eaeb364da396f4e848ce78b760d3e9 \
- sha256 11079ec95f9375d4e069735029e031d310baca8e15f18ef94d17676a6ca02410
</del><ins>+checksums rmd160 418eeadbc3d82cc49b1eab51242813820b7c82c8 \
+ sha256 7265fd897b7f9147fde76560f28ed18f2c20e5f5da7f4bd9d0e01f8a713401f1
</ins><span class="cx">
</span><span class="cx"> depends_lib port:gmp
</span><span class="cx">
</span><ins>+test.run yes
+test.target check
+
</ins><span class="cx"> pre-activate {
</span><span class="cx"> # In r92992, cloog switched from installing it's own copy of isl to depending on isl, which means:
</span><span class="cx"> # *) cloog can't upgrade until isl is installed
</span></span></pre>
</div>
</div>
</body>
</html>