<pre style='margin:0'>
Herby Gillot (herbygillot) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/8e2495e6871b450c5ecb59f298065b26714dde42">https://github.com/macports/macports-ports/commit/8e2495e6871b450c5ecb59f298065b26714dde42</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 8e2495e6871 yices: new port in math
</span>8e2495e6871 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 8e2495e6871b450c5ecb59f298065b26714dde42
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Tue Dec 27 23:39:09 2022 +0700

<span style='display:block; white-space:pre;color:#404040;'>    yices: new port in math
</span>---
 math/yices/Portfile                                | 81 ++++++++++++++++++++++
 .../files/0001-Makefile-add-PPC-support.patch      | 52 ++++++++++++++
 math/yices/files/0002-Rosetta-hack.patch           | 62 +++++++++++++++++
 3 files changed, 195 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/yices/Portfile b/math/yices/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..cfb1b7c014c
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/yices/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,81 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           compiler_blacklist_versions 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        SRI-CSL yices2 2.6.4 Yices-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name                yices
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          math
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license             GPL-3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         The Yices SMT Solver
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description    {*}${description}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            https://yices.csl.sri.com
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  55e4fa70f0d12c2be4edd190cf7f933fcb2cdf14 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  42e6efe44a2f0ae3e2ac381b5428416df80884c43d52168692efcf3ebd379355 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    10189216
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# PowerPC is not currently supported with upstream.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+supported_archs     i386 ppc ppc64 x86_64
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# ./api/yices_api_lock_free.h:34: error: previous declaration of ‘lp_algebraic_number_t’ was here
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.blacklist-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    *gcc-4.* {clang < 421}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+use_autoconf        yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:gperf
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append  port:gmp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# Static GMP does not link correctly even on x86: https://github.com/macports/macports-ports/pull/17078#issuecomment-1366078584
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-patch {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    reinplace "s|obj static-obj lib static-lib bin static-bin|obj lib bin|" ${worksrcpath}/Makefile.build
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if {${build_arch} in [list i386 ppc]} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # ld: absolute addressing (perhaps -mdynamic-no-pic) used in ___gmpn_modexact_1c_odd
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # from /opt/local/lib/libgmp.a(mode1o.o) not allowed in slidable image.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # Use '-read_only_relocs suppress' to enable text relocs.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    configure.ldflags-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    -read_only_relocs suppress
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    build.args-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    OPTION=32bit
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+} elseif {${build_arch} eq "ppc64"} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # On 10.6+ x86_64 is the default.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    build.args-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    OPTION=64bit
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+platform darwin powerpc {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    patch.pre_args      -p1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    patchfiles          0001-Makefile-add-PPC-support.patch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # Fix for Rosetta:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    if {${os.major} == 10} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        patchfiles-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    0002-Rosetta-hack.patch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        configure.args-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    --build=powerpc-apple-darwin${os.major}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        build.args-replace \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    OPTION=32bit \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    OPTION=Rosetta
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    notes "
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    Presently PowerPC is not supported with the upstream.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    The build is experimental. Larger part of tests fail at the moment.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    "
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+universal_variant   no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+pre-destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    system -W ${worksrcpath} "make dist"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+destroot.target     install-darwin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.run            yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.target         check
</span><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>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..a0479c3fb05
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/yices/files/0001-Makefile-add-PPC-support.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,52 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From 46adcd7b148b4cc929713ec6bb65e28ac25daa5c Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Tue, 27 Dec 2022 20:43:12 +0700
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH 1/2] Makefile: add PPC support
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+---
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ Makefile | 21 ++++++++++++++++-----
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 1 file changed, 16 insertions(+), 5 deletions(-)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git a/Makefile b/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index bb05c00f..9e624bf1 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- a/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ b/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -66,6 +66,7 @@ YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ARCH=$(shell ./config.sub `./config.guess`)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ POSIXOS=$(shell ./autoconf/os)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++PLATFORM=$(shell uname -p)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ifeq (,$(POSIXOS))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   $(error "Problem running ./autoconf/os")
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -150,12 +151,22 @@ ifneq ($(OPTION),)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   ifeq ($(POSIXOS),darwin)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-    ifeq ($(OPTION),64bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-      newarch=$(subst i386,x86_64,$(ARCH))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    ifeq ($(PLATFORM),powerpc)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      ifeq ($(OPTION),64bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++        newarch=$(subst powerpc,powerpc64,$(ARCH))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      ifeq ($(OPTION),32bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++        newarch=$(subst powerpc64,powerpc,$(ARCH))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-    ifeq ($(OPTION),32bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-      newarch=$(subst x86_64,i386,$(ARCH))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-    endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      ifeq ($(OPTION),64bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++        newarch=$(subst i386,x86_64,$(ARCH))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      ifeq ($(OPTION),32bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++        newarch=$(subst x86_64,i386,$(ARCH))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   ifeq ($(POSIXOS),cygwin)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-- 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+2.37.3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/yices/files/0002-Rosetta-hack.patch b/math/yices/files/0002-Rosetta-hack.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..5d8c6859375
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/yices/files/0002-Rosetta-hack.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,62 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From d61faf072c4f4e7f2f582c2c668e30bea4530cdb Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Tue, 27 Dec 2022 22:36:42 +0700
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH 2/2] Rosetta hack
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+---
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ Makefile              | 4 ++++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ autoconf/config.guess | 2 +-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ config.guess          | 2 +-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 3 files changed, 6 insertions(+), 2 deletions(-)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git a/Makefile b/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 9e624bf1..5c24c9af 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- a/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ b/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -151,6 +151,9 @@ ifneq ($(OPTION),)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   ifeq ($(POSIXOS),darwin)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    ifeq ($(OPTION),Rosetta)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++      newarch=powerpc-apple-darwin10
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     ifeq ($(PLATFORM),powerpc)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       ifeq ($(OPTION),64bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+         newarch=$(subst powerpc,powerpc64,$(ARCH))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -168,6 +171,7 @@ ifneq ($(OPTION),)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++    endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   ifeq ($(POSIXOS),cygwin)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     ifeq ($(OPTION),32bits)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git a/autoconf/config.guess b/autoconf/config.guess
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 2e9ad7fe..f7bc7ba7 100755
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- a/autoconf/config.guess
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ b/autoconf/config.guess
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -1321,7 +1321,7 @@ EOF
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       # that Apple uses in portable devices.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       UNAME_PROCESSOR=x86_64
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  echo ${UNAME_PROCESSOR}-apple-darwin${UNAME_RELEASE}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  echo powerpc-apple-darwin10
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   exit ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     *:procnto*:*:* | *:QNX:[0123456789]*:*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   UNAME_PROCESSOR=`uname -p`
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git a/config.guess b/config.guess
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 2e9ad7fe..f7bc7ba7 100755
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- a/config.guess
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ b/config.guess
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -1321,7 +1321,7 @@ EOF
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       # that Apple uses in portable devices.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+       UNAME_PROCESSOR=x86_64
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-  echo ${UNAME_PROCESSOR}-apple-darwin${UNAME_RELEASE}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++  echo powerpc-apple-darwin10
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   exit ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+     *:procnto*:*:* | *:QNX:[0123456789]*:*)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   UNAME_PROCESSOR=`uname -p`
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-- 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+2.37.3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span></pre><pre style='margin:0'>

</pre>