<pre style='margin:0'>
Ryan Schmidt (ryandesign) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/7253270b86bb2fdd023d23aabc2ff2d5d2cd17c4">https://github.com/macports/macports-ports/commit/7253270b86bb2fdd023d23aabc2ff2d5d2cd17c4</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 7253270b86b spot: Update to 2.10.1
</span>7253270b86b is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 7253270b86bb2fdd023d23aabc2ff2d5d2cd17c4
</span>Author: Ryan Schmidt <ryandesign@macports.org>
AuthorDate: Thu Nov 25 09:44:11 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    spot: Update to 2.10.1
</span>---
 science/spot/Portfile                      | 16 +++++++++-------
 science/spot/files/dynamic_lookup-11.patch | 25 +++++++++++++++++++++++++
 science/spot/files/patch-configure.diff    | 11 -----------
 3 files changed, 34 insertions(+), 18 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 66f67c89c27..7dc76c4d7db 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;'>@@ -5,8 +5,12 @@ PortGroup           compiler_blacklist_versions 1.0
</span> PortGroup           boost 1.0
 
 name                spot
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2.9.6
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             2.10.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  2f507b42a73114494a55616d3577b52ada897746 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  38002989fc8e3725841a0537665bb2d5dfc259d2e09358100322c38f4c7481ad \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    7587978
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</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,15 +19,13 @@ 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           rmd160  711331649fa689a010013ee4f4af59c074a46c69 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  3cc6f69f17f0d1566d68be7040099df70203748b66121354d8ab84d8d13dd3a8 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    6990615
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles          dynamic_lookup-11.patch
</span> 
 compiler.cxx_standard 2014
<span style='display:block; white-space:pre;background:#ffe0e0;'>-patchfiles patch-configure.diff
</span> configure.args-append --disable-python
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-set pythons_suffixes {35 36 37 38 39}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set pythons_suffixes {35 36 37 38 39 310}
</span> 
 set pythons_ports {}
 foreach s ${pythons_suffixes} {
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/science/spot/files/dynamic_lookup-11.patch b/science/spot/files/dynamic_lookup-11.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..5a31f9bab53
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/science/spot/files/dynamic_lookup-11.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,25 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Recognize macOS 12 and later, remove inaccurate comment, and simplify.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+https://debbugs.gnu.org/cgi/bugreport.cgi?bug=44605
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- configure.orig 2021-11-25 09:25:03.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ configure      2021-11-25 09:25:38.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -26293,16 +26293,11 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       _lt_dar_allow_undefined='$wl-undefined ${wl}suppress' ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     darwin1.*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       _lt_dar_allow_undefined='$wl-flat_namespace $wl-undefined ${wl}suppress' ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-    darwin*) # darwin 5.x on
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-      # if running on 10.5 or later, the deployment target defaults
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-      # to the OS version, if on x86, and 10.4, the deployment
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-      # target defaults to 10.4. Don't you love it?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-      case ${MACOSX_DEPLOYMENT_TARGET-10.0},$host in
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  10.0,*86*-darwin8*|10.0,*-darwin[912]*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-    _lt_dar_allow_undefined='$wl-undefined ${wl}dynamic_lookup' ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  10.[012][,.]*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    darwin*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      case $MACOSX_DEPLOYMENT_TARGET,$host in
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  10.[012],*|,*powerpc*-darwin[5-8]*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     _lt_dar_allow_undefined='$wl-flat_namespace $wl-undefined ${wl}suppress' ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  10.*|11.*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  *)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     _lt_dar_allow_undefined='$wl-undefined ${wl}dynamic_lookup' ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       esac
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     ;;
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/science/spot/files/patch-configure.diff b/science/spot/files/patch-configure.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index caf20a13b7d..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/science/spot/files/patch-configure.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- configure.orig 2020-11-30 15:33:45.000000000 -0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ configure      2020-11-30 15:34:17.000000000 -0800
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -26221,7 +26221,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     _lt_dar_allow_undefined='$wl-undefined ${wl}dynamic_lookup' ;;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   10.[012][,.]*)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     _lt_dar_allow_undefined='$wl-flat_namespace $wl-undefined ${wl}suppress' ;;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--  10.*)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  *)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     _lt_dar_allow_undefined='$wl-undefined ${wl}dynamic_lookup' ;;
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-       esac
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     ;;
</span></pre><pre style='margin:0'>

</pre>