From nobody Thu Jul 21 19:47:45 2022 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 4Lpjlk1S0tz4XNxK; Thu, 21 Jul 2022 19:47:46 +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 4Lpjlk106Fz3b0R; Thu, 21 Jul 2022 19:47:46 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1658432866; 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=Z6VdJb2PlKrsbOLsFOSj2ZvNmVOIQmPOaciGzXX7Dwo=; b=HivnF6tElV5gdVJypgw69linelzC6l05wyEf8rdSdvCE3elcpsPNzgOQL2lPm5M9dHho/9 cBfVEwJ/F/cFH1J6URWYszLX9KG2mC85o50QpdzipwifRM5iL5bDRCRhjl0x8P0uqZo4NF dzuAR1bv/Sfi3J3MTr+mGfMISMFCAeLVKCWBWUwMvtiTodKDynrBze66pzll65bkBxDw9K LtjxdFteou99XaFuqfxJANOxMJ3qc2s8tK2o7gn0z3noqQcWFVrbZ6AQlyX2BxGdtw16ZO HNh8yDSItC933nZZtJXIZbgb6WHt9v9Pt0veOxqOL2/I8HfI/lsTtwQWu61j8A== 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 4Lpjlj74z9zZ6V; Thu, 21 Jul 2022 19:47:45 +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 26LJljxD092331; Thu, 21 Jul 2022 19:47:45 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 26LJljTU092330; Thu, 21 Jul 2022 19:47:45 GMT (envelope-from git) Date: Thu, 21 Jul 2022 19:47:45 GMT Message-Id: <202207211947.26LJljTU092330@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 23b2759af230 - main - math/py-z3-solver: Re-enable on i386; Broken on riscv64 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: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@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/main X-Git-Reftype: branch X-Git-Commit: 23b2759af2303419f7c60bca8330f4d99a61c172 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1658432866; 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=Z6VdJb2PlKrsbOLsFOSj2ZvNmVOIQmPOaciGzXX7Dwo=; b=Nqfxt62zIeIWr170RiJ/p7SXzKNUcevkl5TwwweDEOm5P6XS1RXlmwyidu+QRYOKJ80CdT 32C1FvNRXZhA0XdMIcXnz2HKTkrS/TV/8+yWO8jxYH9LovJKQ/5iQvYcFSoh+G32P3r/hc Lk91ae+no4lv/vxD4Y0eXCb3Jg5wOiQzGVYCkDynUvLUlwVvAQ5AEFxu/Iq1tXwgnaoXmU PyNK7pRL7j7IIyusEGTYDEs/yGheuPbsw5wosMC1twJBOWDK7V4HwbT4D+V4aupBo5Du7y ebcfC14RBhyiXvH+6BkqICIJXqPgk0K7Or7FNyuET9MvgCCPu4Rv9oscxodPeQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1658432866; a=rsa-sha256; cv=none; b=cYG9IHeddWh/zWyrXUIwW0FKP4YL4OFd9EaAWJKqqkIblkwJaCtU8+NnqudK52qkzDZElJ dLKkOsieKs8mFHs4qr3f7xDW72nc6Eu9ZEcOV2L099vlrRBvukMZajdc5XEXQVHVcPpkEp C/qqyTxLDIMjk+l5Z3mzbD8M4RXo6LOL4tR3dDWlaHsdtO20K8kSi1H4KN/3R/yzvxHi44 skLAGFZy7xHERHEiMG19QJtLwFBTdhH/G5rlHKQjn3P7BnCknm42jBnynyFyP2fRgTK2aV j/NomjCehQI4bWPfKhicqAimboAGeDEbdFQyTVEmxJXwpIIsVU+Bv33TzKuKCA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=23b2759af2303419f7c60bca8330f4d99a61c172 commit 23b2759af2303419f7c60bca8330f4d99a61c172 Author: Yuri Victorovich AuthorDate: 2022-07-21 19:47:18 +0000 Commit: Yuri Victorovich CommitDate: 2022-07-21 19:47:18 +0000 math/py-z3-solver: Re-enable on i386; Broken on riscv64 --- 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