From nobody Thu Jul 21 19:48:16 2022 X-Original-To: dev-commits-ports-all@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 4LpjmK02cCz4XNdh; Thu, 21 Jul 2022 19:48:17 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4LpjmJ6cmjz3b14; Thu, 21 Jul 2022 19:48:16 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1658432896; 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=/bkM20swffKh4NJNmIW/6w9DXsSLJGb+wbQeuVyS4TM=; b=uxPTxPkRju1ud9rqktG6aUQUEPtadeSoZ3aZmTeUNdmRrDehbszJzLjfybEStPWYQTbL8I Ese+v046F+4BQGkWIVK9Pm4Yla48h3KzE8ZRAy57qbozfDVEb7IfPkWwLs5h35ysM8xPCG EG3vEjLbtnh5JOtwfoU4hYgLRtCAJFznLvuMxRCJ2tLmPNJ7D009YAjvn5nGDWJG8aScVn xmc00XGtzKbndNSY9oh0Mdbtccv+Ia14HS8qdIUiWC59EV4SY+4MMIeN3RgcZ29uaUmUct 1yD8qMTggS8Ze2r3GFRn6/a12vaYDqzDYIP5fh8Y1Q5z/E4hCAzILT7Lz+9KfQ== 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 4LpjmJ5hNkzZ6W; Thu, 21 Jul 2022 19:48:16 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 26LJmGcF092495; Thu, 21 Jul 2022 19:48:16 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 26LJmGG6092494; Thu, 21 Jul 2022 19:48:16 GMT (envelope-from git) Date: Thu, 21 Jul 2022 19:48:16 GMT Message-Id: <202207211948.26LJmGG6092494@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-branches@FreeBSD.org From: Yuri Victorovich Subject: git: 6062256f611b - 2022Q3 - math/py-z3-solver: Re-enable on i386; Broken on riscv64 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/2022Q3 X-Git-Reftype: branch X-Git-Commit: 6062256f611b838fb760f2731f329c7d2d7d04bb Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1658432896; 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=/bkM20swffKh4NJNmIW/6w9DXsSLJGb+wbQeuVyS4TM=; b=ESnuj5TPSaEi77Zml/cqphjczOXWfdh39T5EJdSl5UViQmvZtn02u4zr8PFxdQGOVVvXlw VltzZC6w1Q733F7S5lWeggnDzvoFLrR+yYNCdFKFIeZ/3RrEa0jk9EnfRkQGk67mCednXe hEVeNVkAYXgFA/F0q7CymEIPjLzobJcXEMPOqezTTBegTXSWjLY0MLGhwQaIlcToM84EH0 C7pWvKsFTl3x4ZH4aDPUrT45qlBp6pg8jPZ28wwV7SqBLycv1gm3WgFCIzH6yAlz3Esdny l3XHQ2ViaokZZRNLSma0pqCxn9apg39Io/HMfGpd25tK/R88NSGSx7VM/0OL6A== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1658432896; a=rsa-sha256; cv=none; b=CHS/I19b4CKTpQ/A8GwctX2qZfvi/lqSLYkORtAAFvN1fz+THdSvf8EJsazY7R1JWDKS6H UiPPr5E8LGwqeudZOxqb5lglxKF0LIo6Y/d2Yzc6yQKJoBGDrANJ1RFGPy2YlJrQQPTumf oXsGNuet2G7ag8DNmYipfpwzfxoEfN6xT08Z8jiMY6DuFhzhUs9RQn2mqfN2wo2M8FaXB+ eJNrDR5CIrj5duVLJcTeDTGx29ADyAJmAtNRFwZZRMQE36ovzZlEQj4jPzC14k/L7Zr/xv JdbFjA94dh8S34Psh4zo7yQ4ULVbQDvwZfaUjUEzrTkkpAObVspgiBPpCgKvcg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch 2022Q3 has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=6062256f611b838fb760f2731f329c7d2d7d04bb commit 6062256f611b838fb760f2731f329c7d2d7d04bb Author: Yuri Victorovich AuthorDate: 2022-07-21 19:47:18 +0000 Commit: Yuri Victorovich CommitDate: 2022-07-21 19:48:08 +0000 math/py-z3-solver: Re-enable on i386; Broken on riscv64 (cherry picked from commit 23b2759af2303419f7c60bca8330f4d99a61c172) --- math/py-z3-solver/Makefile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 3426ee6af08a..f900b3ea09b4 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -10,12 +10,7 @@ COMMENT= Python binding for Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt -CFLAGS_armv7= -fPIC -CFLAGS_powerpc= -fPIC - -BROKEN_i386= can't create dynamic relocation R_386_32 against symbol: .L.str in readonly segment; see https://github.com/Z3Prover/z3/issues/2442 - -# CAVEAT: There should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 +BROKEN_riscv64= fails to configure, see https://github.com/Z3Prover/z3/issues/6183 BUILD_DEPENDS= cmake:devel/cmake @@ -26,8 +21,13 @@ USE_GITHUB= yes GH_ACCOUNT= Z3Prover GH_PROJECT= z3 +CFLAGS_armv7= -fPIC +CFLAGS_powerpc= -fPIC + WRKSRC_SUBDIR= src/api/python +# CAVEAT: There should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 + post-patch: # https://github.com/Z3Prover/z3/issues/2131 @${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h