git: faacc138e03d - main - math/py-z3-solver: fix build on armv7

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Piotr Kubaj <pkubaj_at_FreeBSD.org>
Date: Fri, 12 Nov 2021 14:50:12 UTC

The branch main has been updated by pkubaj:

URL: https://cgit.FreeBSD.org/ports/commit/?id=faacc138e03d705339dc2b9e927efdddbe309071

commit faacc138e03d705339dc2b9e927efdddbe309071
Author:     Piotr Kubaj <pkubaj@FreeBSD.org>
AuthorDate: 2021-11-12 14:48:46 +0000
Commit:     Piotr Kubaj <pkubaj@FreeBSD.org>
CommitDate: 2021-11-12 14:48:46 +0000

    math/py-z3-solver: fix build on armv7
    
    Same issue as on powerpc.
---
 math/py-z3-solver/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index ee5cb7b8fd78..6136e24d2b5b 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -10,6 +10,7 @@ COMMENT=	Python binding for Z3 Theorem Prover
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt
 
+CFLAGS_armv7=	-fPIC
 CFLAGS_powerpc=	-fPIC
 
 BROKEN_i386=	can't create dynamic relocation R_386_32 against symbol: .L.str in readonly segment; see https://github.com/Z3Prover/z3/issues/2442