From nobody Mon Aug 3 15:21:50 2026 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4hDL4Z551rz6mLr0 for ; Mon, 03 Aug 2026 15:21:50 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "YR1" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4hDL4Z2tSGz3CjB for ; Mon, 03 Aug 2026 15:21:50 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1785770510; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=+vRgIItpdoVN7TdWyFJArxkA1aOVMqVTckm6Mf1SP+I=; b=XmJqyfmwNKXrYD5I8NALJUNnuVmoGU+8wonWvIKmlYtGf0fkpRC9XxYvZ1qdGbjeQ46J1o Sk9x8JwG9q8Ke4dMbv6CR6MTUHY0HwxLWdvqWE02Q/AVlMufp0p3P10alrvvSMnIo6Dze8 nJqMsb7/LKxqMSWYxSXFMaEwqdX3nmZcPiUSGJK1LtKSfCB8ng1gXZpcSFBHA1rGg7i8nR HlHjKbyVzoVEm+rnJSqaSWARYUcR9c70gLH1XWg74S0cq1iIGz7XHesJ0qjWeLH8AVgape zeel4yvLcIL1lWNo+xwFeb9vA3erMIiIcdpsaew/hg+YKNJdTa7ta/XJUY/lLg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1785770510; a=rsa-sha256; cv=none; b=VPEXO5cT5LKpu6ol16ZFAXW+ZUGNCFi22PzMwE6PXKeB6ZZK7O80lRDo/slG/fjNYFY1sv szgh9kxS7oe8Of+EL9jX7H4hpDJOKkQLUew43QVkSkVvd3fiT7JmICbIaDK7rgkDR3V8yr OXsVd2VmkAoroUJ7k1Jhe/XJSWXYrXyJZ1fZ4EyyRmbU2ttLc5laBNZip92bgjJKea1Xmp LiaUPemdrnh3ftZtQX7UnG+3XbCtOsnV4W5/8seujLXO/YWqTuJXJoPMtZLhRD8eWTNYYt 49Rr1lE8WJmvL2I2Fut9XODEnI2dSqVcVvJhItNV6TvoRz9Pl7uzUj50tUGBxA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1785770510; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=+vRgIItpdoVN7TdWyFJArxkA1aOVMqVTckm6Mf1SP+I=; b=JZQDIjOq5hdrkeFeK9wbytldHO836g5aTUJGJVtUqYqj3VN8pToOnjx2QNekCTzYCpQXFo Ii7EcGYdt/qiAvO6YRGPRKPa1+NTG0zOPpgLwmzi13sSMi3xW20T1Scjd8f5Qo7yPMOts4 /nv5Sm1LqqybYAhWTTBQZ4WNL6RkQFRsFngD+HFv/NhGHj8LZ60LeCVfOhLZWetBqvrolX CUz2cqzoOxR4B0MKmlGgvmv77N4ry5sqVjmkRowm+JL6HiHuN9YTqZ92XvCFX8F9X5YT4K aCGWQmnzlsLAd2PpBGWDXlDGZslK6Z/Wc+qjleNWA972bn8K6ngwXuKPfzZ4Gw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4hDL4Z1xYqz161K for ; Mon, 03 Aug 2026 15:21:50 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 3a22b by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Mon, 03 Aug 2026 15:21:50 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Piotr Kubaj Subject: git: 42678686fc54 - main - devel/cbmc: fix build on powerpc64* List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: pkubaj X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 42678686fc54495891c0df3d78be192e8ef5b8c9 Auto-Submitted: auto-generated Date: Mon, 03 Aug 2026 15:21:50 +0000 Message-Id: <6a70b20e.3a22b.685b21b2@gitrepo.freebsd.org> The branch main has been updated by pkubaj: URL: https://cgit.FreeBSD.org/ports/commit/?id=42678686fc54495891c0df3d78be192e8ef5b8c9 commit 42678686fc54495891c0df3d78be192e8ef5b8c9 Author: Piotr Kubaj AuthorDate: 2026-08-03 07:39:13 +0000 Commit: Piotr Kubaj CommitDate: 2026-08-03 15:21:23 +0000 devel/cbmc: fix build on powerpc64* 1. powerpc64 always uses 64-bit long double. 2. powerpc64le before 16.0 uses 64-bit long double and switched to 128-bit IEEE long double in 16.0. --- devel/cbmc/files/patch-src_util_config.cpp | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/devel/cbmc/files/patch-src_util_config.cpp b/devel/cbmc/files/patch-src_util_config.cpp new file mode 100644 index 000000000000..7e589cb250d1 --- /dev/null +++ b/devel/cbmc/files/patch-src_util_config.cpp @@ -0,0 +1,19 @@ +--- src/util/config.cpp.orig 2026-08-02 21:22:02 UTC ++++ src/util/config.cpp +@@ -1088,6 +1088,16 @@ bool configt::set(const cmdlinet &cmdline) + ansi_c.char_is_unsigned = false; + ansi_c.long_double_width = 8 * 8; + } ++ else if( ++ os == "freebsd" && ++ (arch == "powerpc" || arch == "ppc64" || arch == "ppc64le")) ++ { ++ // FreeBSD/PowerPC does not use the 128-bit long double assumed by ++ // set_arch_spec_power(): it is 64-bit, except on powerpc64le since ++ // FreeBSD 16.0, where it is IEEE binary128. Follow the toolchain ++ // instead of hard-coding either width. ++ ansi_c.long_double_width = sizeof(long double) * CHAR_BIT; ++ } + + // Let's check some of the type widths in case we run + // the same architecture and OS that we are verifying for.