<pre style='margin:0'>
Chris Jones (cjones051073) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/de1e79598956a2ab6a649e8e1ca9ea37127351db">https://github.com/macports/macports-ports/commit/de1e79598956a2ab6a649e8e1ca9ea37127351db</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit de1e79598956a2ab6a649e8e1ca9ea37127351db
</span>Author: Chris Jones <jonesc@macports.org>
AuthorDate: Wed Jun 16 12:56:08 2021 +0100
<span style='display:block; white-space:pre;color:#404040;'> spot: migrate to boost PG
</span>---
science/spot/Portfile | 8 +++++---
1 file changed, 5 insertions(+), 3 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 7e0395f0234..66f67c89c27 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,9 +1,12 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> PortSystem 1.0
PortGroup compiler_blacklist_versions 1.0
<span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup boost 1.0
</span>
name spot
version 2.9.6
<span style='display:block; white-space:pre;background:#ffe0e0;'>-revision 0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision 1
</span> categories science math
maintainers nomaintainer
description Spot is an object-oriented model checking library written in C++.
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -15,7 +18,6 @@ master_sites http://www.lrde.epita.fr/dload/spot/
</span> checksums rmd160 711331649fa689a010013ee4f4af59c074a46c69 \
sha256 3cc6f69f17f0d1566d68be7040099df70203748b66121354d8ab84d8d13dd3a8 \
size 6990615
<span style='display:block; white-space:pre;background:#ffe0e0;'>-depends_lib-append port:boost
</span>
compiler.cxx_standard 2014
patchfiles patch-configure.diff
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -57,7 +59,7 @@ foreach s ${pythons_suffixes} {
</span> }
# enable one python variant so that the python bindings can be compiled
<span style='display:block; white-space:pre;background:#ffe0e0;'>-set selected_python python37
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set selected_python python39
</span> foreach s ${pythons_suffixes} {
if {[variant_isset python${s}]} {
set selected_python python${s}
</pre><pre style='margin:0'>
</pre>