<pre style='margin:0'>
Mark Moll (mamoll) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/a7e51485885fbace478d780008bafa72fc16b0cd">https://github.com/macports/macports-ports/commit/a7e51485885fbace478d780008bafa72fc16b0cd</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new a7e5148 sport: update to version 2.4
</span>a7e5148 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit a7e51485885fbace478d780008bafa72fc16b0cd
</span>Author: Mark Moll <mmoll@macports.org>
AuthorDate: Tue Sep 12 08:36:19 2017 -0500
<span style='display:block; white-space:pre;color:#404040;'> sport: update to version 2.4
</span>---
science/spot/Portfile | 16 ++++++++++------
1 file changed, 10 insertions(+), 6 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/science/spot/Portfile b/science/spot/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 295e63d..5b09c36 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/science/spot/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/science/spot/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,7 +1,7 @@
</span> PortSystem 1.0
<span style='display:block; white-space:pre;background:#ffe0e0;'>-PortGroup cxx11 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup compiler_blacklist_versions 1.0
</span> name spot
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version 2.3.4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 2.4
</span> categories science math
maintainers mmoll openmaintainer
description Spot is an object-oriented model checking library written in C++.
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -10,12 +10,16 @@ homepage https://spot.lrde.epita.fr/index.html
</span> platforms darwin
license GPL-3
master_sites http://www.lrde.epita.fr/dload/spot/
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums md5 cbb3cc37306c32e2b2e31e56b4a51379 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha1 b30c3677a7d0f57708abe65a41864d7bdd8b37c0 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- rmd160 e089bfd0165d5a372e5ed5840fa771fb33c22d9e \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 83f39f3e78750116bb8fd160742fef7763e44a708be0d8c6b1cbe87fc93ba1d1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums md5 2ec274f6a842365decf31729222c6f88 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha1 7370cfa56bfa213de85679eb612a4aadf7832316 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rmd160 7e82f7192aa36acf88cfffa9878f97d098c1a369 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 18f12ec686292dd88f70c6396af96486521e2c0a8dc1e8d747aa6556adcb887f
</span> depends_lib-append port:boost
<span style='display:block; white-space:pre;background:#e0ffe0;'>+# make sure compiler supports C++14
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.blacklist *gcc* {clang <= 700.1.81} {macports-clang-3.[0-6]}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.fallback-append macports-clang-4.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> configure.args-append --disable-python
set pythons_suffixes {34 35 36}
</pre><pre style='margin:0'>
</pre>