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