freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

math/py-z3-solver: Add NO_ARCH

Browse Source 
Approved by:	portmgr (blanket)
This commit is contained in:
Po-Chuan Hsieh 2024-08-05 01:11:38 +08:00
parent 68e1000c41
commit 7faf292d92
No known key found for this signature in database
GPG Key ID: 9A4BD10F002DD04B
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/py-z3-solver/Makefile
View File

@ -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