From nobody Wed Sep 18 19:15:11 2024 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 4X87dX0xlqz5XK1N; Wed, 18 Sep 2024 19:15:12 +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 "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4X87dX0Vy9z4mvn; Wed, 18 Sep 2024 19:15:12 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1726686912; 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=xxJt8yEbWgX9sAA8RGd4vkNK01yMOOkxGj0kuUa4Nac=; b=wfV9umIv9Cb0QWUezsgNe/eBafdY5yXVDmW19lWsEs1G+z2A21vkE3Ky5Ptp2KcfPNv/Lx bmu9L/CzB2Ji1wKpmfnchcDuGZVc2cRaagioCZG0EQiXfEUJ4ym+ywrIlbheIE8SnMMvpG d+05CAcgSQG0V7RpgOGvHgthe4UwGdZtMcxPk4OEp4ILzrFkCwvaRP4m+Ik6lra1uD51Vu n58F92luxhBTwW1zdakK5vrgIna4rgkVlYxnrOw39ojd902aoJaC9wEsS0ZR59Vu47zmQ6 b1KXJGyhDHRaSyFYQzvctuZud8TP8MYx4q0jK+cNGB83QGT6Id8fTiTw/+UvUg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1726686912; a=rsa-sha256; cv=none; b=x2eqH/DzC3WmjUwps3nRAYFtMUrFr8KMFK5DtgswgwsO/UsXIBjLzo/ljihDd+TS2aH8rR ZSmrIvUJhF5yP7vLqZIfbBBvpaICwGNoPdxij9cKB03pP28Ph+kUSRRAQO6XpN3hcAKxQH cfvKLd1LZQ/GRVQzJ74JvUor6uf7zJClxRKozUS8zSBr5vaq4a8vJ+ADES6r2dIQ/bXr8h PC0NtLJB7zwGqRPn0Uy0RXuAWg9lcgNZoUm9wMX/bE11Q/qWHrPH+D60bKuOGk5E29ee9R 08AmSO4b73GezBPLmVAfT//rZTYbcg2J0UJO5jyardkLgh8UaSpurxL67iBtmg== 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=1726686912; 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=xxJt8yEbWgX9sAA8RGd4vkNK01yMOOkxGj0kuUa4Nac=; b=cwpM/vkOYqXOpTY/uvGZDxpr3GlXpUIqYa/UCuZy1SpsbZrfKS26Z1HsRv5tfyTNB0PF2z ZFvXAEWJOO+NqfHPP14NwQ4tUyskd3XAB3pja7ju+TqJeLpFirgO8z6Q+uyajFdubssLtW gRGvhv01x96KVcmKvbFRshIFzA9zLXWnHid6PfLtMD4O4TeK/PgsAxValq6THO+RSelxn5 2ITtZWiaBBwc3B7Fv9tumjipeRjkeCsa2hFAOV6qsk27KSR1DtKdOs22uLC2UkanSXDXWV B/NEktKKrFqwSLuDcQVi6GTTpdMndSazsYmBWB1LiNE9YYe0DhYp+Ff6zEMusw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (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 did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4X87dX06MxzZDh; Wed, 18 Sep 2024 19:15:12 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 48IJFBws079797; Wed, 18 Sep 2024 19:15:11 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 48IJFBi8079794; Wed, 18 Sep 2024 19:15:11 GMT (envelope-from git) Date: Wed, 18 Sep 2024 19:15:11 GMT Message-Id: <202409181915.48IJFBi8079794@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: 8bf5245b66fd - main - math/py-z3-solver: Mark BROKEN 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 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 8bf5245b66fd35846faa3a5662bd37bc5ada46ea Auto-Submitted: auto-generated The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=8bf5245b66fd35846faa3a5662bd37bc5ada46ea commit 8bf5245b66fd35846faa3a5662bd37bc5ada46ea Author: Gleb Popov AuthorDate: 2024-09-18 19:14:49 +0000 Commit: Gleb Popov CommitDate: 2024-09-18 19:14:49 +0000 math/py-z3-solver: Mark BROKEN PR: 280689 --- math/py-z3-solver/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 1e0b97beb8c2..ba11090e2ea5 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -12,6 +12,7 @@ WWW= https://github.com/Z3Prover/z3 LICENSE= MIT LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt +BROKEN= Could not find libz3.so BROKEN_armv7= fails to compile on 13.1 and 14: clang crashes, see https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=268009 BROKEN_riscv64= fails to configure, see https://github.com/Z3Prover/z3/issues/6183