git: 7faf292d9212 - main - math/py-z3-solver: Add NO_ARCH
- Reply: Gleb Popov : "Re: git: 7faf292d9212 - main - math/py-z3-solver: Add NO_ARCH"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 04 Aug 2024 17:24:34 UTC
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= z3