<!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>[151614] trunk/dports/science/spot/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/151614">151614</a></dd>
<dt>Author</dt> <dd>mmoll@macports.org</dd>
<dt>Date</dt> <dd>2016-08-18 08:52:03 -0700 (Thu, 18 Aug 2016)</dd>
</dl>
<h3>Log Message</h3>
<pre>science/spot: update to version 2.1</pre>
<h3>Modified Paths</h3>
<ul>
<li><a href="#trunkdportssciencespotPortfile">trunk/dports/science/spot/Portfile</a></li>
</ul>
</div>
<div id="patch">
<h3>Diff</h3>
<a id="trunkdportssciencespotPortfile"></a>
<div class="modfile"><h4>Modified: trunk/dports/science/spot/Portfile (151613 => 151614)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/science/spot/Portfile 2016-08-18 15:50:37 UTC (rev 151613)
+++ trunk/dports/science/spot/Portfile 2016-08-18 15:52:03 UTC (rev 151614)
</span><span class="lines">@@ -1,22 +1,24 @@
</span><span class="cx"> # $Id$
</span><span class="cx"> PortSystem 1.0
</span><ins>+PortGroup cxx11 1.0
</ins><span class="cx"> name spot
</span><del>-version 1.2.6
</del><ins>+version 2.1
</ins><span class="cx"> categories science math
</span><span class="cx"> maintainers mmoll openmaintainer
</span><span class="cx"> description Spot is an object-oriented model checking library written in C++.
</span><span class="cx"> long_description ${description}
</span><del>-homepage http://spot.lip6.fr/wiki
</del><ins>+homepage https://spot.lrde.epita.fr/index.html
</ins><span class="cx"> platforms darwin
</span><span class="cx"> license GPL-3
</span><del>-master_sites http://spot.lip6.fr/dl/
-checksums md5 799bf59ccdee646d12e00f0fe6c23902 \
- sha1 1c8ecad0930f44b5a95d2d8535293830a9e8df10 \
- rmd160 e971c4a6fd4b707457c25d60cef999e36d6fb2d5
</del><ins>+master_sites http://www.lrde.epita.fr/dload/spot/
+checksums md5 7ba63345e247edf6a7938b1e42ce634b \
+ sha1 5dce42e6c295138ea47d269ca1d11e4d78a5ef7a \
+ rmd160 4e0e4d1c4993989532fdd4f7593aa2a765424b3a
</ins><span class="cx"> depends_lib-append port:boost
</span><span class="cx">
</span><ins>+configure.args-append --disable-python
</ins><span class="cx">
</span><del>-set pythons_suffixes {27 34}
</del><ins>+set pythons_suffixes {34 35}
</ins><span class="cx">
</span><span class="cx"> set pythons_ports {}
</span><span class="cx"> foreach s ${pythons_suffixes} {
</span><span class="lines">@@ -44,6 +46,7 @@
</span><span class="cx"> variant ${p} description "Use Python ${v} for python bindings" conflicts ${c} {
</span><span class="cx"> depends_lib-append port:${p}
</span><span class="cx"> configure.env-append PYTHON=${prefix}/bin/python${v}
</span><ins>+ configure.args-delete --disable-python
</ins><span class="cx"> post-destroot {
</span><span class="cx"> file mkdir ${destroot}${prefix}/Library/Frameworks/Python.framework/Versions/${v}/lib/python${v}
</span><span class="cx"> move ${destroot}${prefix}/lib/python${v}/site-packages ${packagepath}/site-packages
</span><span class="lines">@@ -53,7 +56,7 @@
</span><span class="cx"> }
</span><span class="cx">
</span><span class="cx"> # enable one python variant so that the python bindings can be compiled
</span><del>-set selected_python python27
</del><ins>+set selected_python python34
</ins><span class="cx"> foreach s ${pythons_suffixes} {
</span><span class="cx"> if {[variant_isset python${s}]} {
</span><span class="cx"> set selected_python python${s}
</span></span></pre>
</div>
</div>
</body>
</html>