Date: Sun, 13 Aug 2023 14:48:53 GMT From: Piotr Kubaj <pkubaj@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: c5c56663debb - main - math/py-z3-solver: remove not anymore needed knob for powerpc Message-ID: <202308131448.37DEmrG8052463@gitrepo.freebsd.org>
index | next in thread | raw e-mail
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/pythonhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202308131448.37DEmrG8052463>