git: c5c56663debb - main - math/py-z3-solver: remove not anymore needed knob for powerpc
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 13 Aug 2023 14:48:53 UTC
The branch main has been updated by pkubaj:
URL: https://cgit.FreeBSD.org/ports/commit/?id=c5c56663debb6d25bc6353669dcad7575f6b7223
commit c5c56663debb6d25bc6353669dcad7575f6b7223
Author: Piotr Kubaj <pkubaj@FreeBSD.org>
AuthorDate: 2023-08-12 16:29:24 +0000
Commit: Piotr Kubaj <pkubaj@FreeBSD.org>
CommitDate: 2023-08-13 14:48:43 +0000
math/py-z3-solver: remove not anymore needed knob for powerpc
---
math/py-z3-solver/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index d496b3e8c2db..846b2a1d1877 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -1,6 +1,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.8.17
+PORTREVISION= 1
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@@ -24,7 +25,6 @@ GH_ACCOUNT= Z3Prover
GH_PROJECT= z3
CFLAGS_armv7= -fPIC
-CFLAGS_powerpc= -fPIC
WRKSRC_SUBDIR= src/api/python