<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/7ab4d7935f53e64dfdb497d2425c648ddc596235">https://github.com/macports/macports-ports/commit/7ab4d7935f53e64dfdb497d2425c648ddc596235</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 7ab4d7935f5 yices: update to 2.6.5
</span>7ab4d7935f5 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 7ab4d7935f53e64dfdb497d2425c648ddc596235
</span>Author: Sergey Fedorov <barracuda@macos-powerpc.org>
AuthorDate: Fri Jun 28 10:53:23 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    yices: update to 2.6.5
</span>---
 math/yices/Portfile                                | 13 +++---
 .../files/0001-Makefile-add-PPC-support.patch      | 52 ----------------------
 2 files changed, 5 insertions(+), 60 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/yices/Portfile b/math/yices/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index ac5b2fbd95c..1927573ca61 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/yices/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/yices/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,7 +4,7 @@ PortSystem          1.0
</span> PortGroup           compiler_blacklist_versions 1.0
 PortGroup           github 1.0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        SRI-CSL yices2 2.6.4 Yices-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        SRI-CSL yices2 2.6.5 Yices-
</span> name                yices
 revision            0
 categories          math
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -13,11 +13,10 @@ maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
</span> description         The Yices SMT Solver
 long_description    {*}${description}
 homepage            https://yices.csl.sri.com
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  55e4fa70f0d12c2be4edd190cf7f933fcb2cdf14 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  42e6efe44a2f0ae3e2ac381b5428416df80884c43d52168692efcf3ebd379355 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    10189216
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# PowerPC is not currently supported with upstream.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-supported_archs     i386 ppc ppc64 x86_64
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  dd62264f3cead2dbd21b356100e34409e7e1ae2a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  46a93225c1e14ee105e573bb5aae69c8d75b5c65d71e4491fac98203cb0182f3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    10389496
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span> 
 # ./api/yices_api_lock_free.h:34: error: previous declaration of ‘lp_algebraic_number_t’ was here
 compiler.blacklist-append \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -50,8 +49,6 @@ if {${build_arch} in [list i386 ppc]} {
</span> 
 platform darwin powerpc {
     patch.pre_args-replace  -p0 -p1
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    patchfiles          0001-Makefile-add-PPC-support.patch
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span>     # Fix for Rosetta:
     if {${os.major} == 10} {
         patchfiles-append \
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/yices/files/0001-Makefile-add-PPC-support.patch b/math/yices/files/0001-Makefile-add-PPC-support.patch
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index a0479c3fb05..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/yices/files/0001-Makefile-add-PPC-support.patch
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,52 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-From 46adcd7b148b4cc929713ec6bb65e28ac25daa5c Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-From: Sergey Fedorov <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-Date: Tue, 27 Dec 2022 20:43:12 +0700
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-Subject: [PATCH 1/2] Makefile: add PPC support
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>----
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- Makefile | 21 ++++++++++++++++-----
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 1 file changed, 16 insertions(+), 5 deletions(-)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-diff --git a/Makefile b/Makefile
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-index bb05c00f..9e624bf1 100644
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- a/Makefile
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ b/Makefile
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -66,6 +66,7 @@ YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ARCH=$(shell ./config.sub `./config.guess`)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- POSIXOS=$(shell ./autoconf/os)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+PLATFORM=$(shell uname -p)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ifeq (,$(POSIXOS))
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   $(error "Problem running ./autoconf/os")
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -150,12 +151,22 @@ ifneq ($(OPTION),)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   ifeq ($(POSIXOS),darwin)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--    ifeq ($(OPTION),64bits)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--      newarch=$(subst i386,x86_64,$(ARCH))
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+    ifeq ($(PLATFORM),powerpc)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      ifeq ($(OPTION),64bits)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+        newarch=$(subst powerpc,powerpc64,$(ARCH))
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      ifeq ($(OPTION),32bits)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+        newarch=$(subst powerpc64,powerpc,$(ARCH))
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--    ifeq ($(OPTION),32bits)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--      newarch=$(subst x86_64,i386,$(ARCH))
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--    endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      ifeq ($(OPTION),64bits)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+        newarch=$(subst i386,x86_64,$(ARCH))
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      ifeq ($(OPTION),32bits)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+        newarch=$(subst x86_64,i386,$(ARCH))
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+      endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-     endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   ifeq ($(POSIXOS),cygwin)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-2.37.3
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span></pre><pre style='margin:0'>

</pre>