Date: Sun, 4 Aug 2024 17:24:34 GMT From: Po-Chuan Hsieh <sunpoet@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 7faf292d9212 - main - math/py-z3-solver: Add NO_ARCH Message-ID: <202408041724.474HOYoT069790@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by sunpoet: URL: https://cgit.FreeBSD.org/ports/commit/?id=7faf292d921269eeac47db539601e9af7f95c64a commit 7faf292d921269eeac47db539601e9af7f95c64a Author: Po-Chuan Hsieh <sunpoet@FreeBSD.org> AuthorDate: 2024-08-04 17:11:38 +0000 Commit: Po-Chuan Hsieh <sunpoet@FreeBSD.org> CommitDate: 2024-08-04 17:14:33 +0000 math/py-z3-solver: Add NO_ARCH Approved by: portmgr (blanket) --- math/py-z3-solver/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 35c5a153dff6..1e0b97beb8c2 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -18,6 +18,8 @@ BROKEN_riscv64= fails to configure, see https://github.com/Z3Prover/z3/issues/61 USES= cmake:indirect compiler:c++11-lang python USE_PYTHON= distutils autoplist +NO_ARCH= yes + USE_GITHUB= yes GH_ACCOUNT= Z3Prover GH_PROJECT= z3home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202408041724.474HOYoT069790>