diff options
| author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2021-11-12 14:48:46 +0000 |
|---|---|---|
| committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2021-11-12 14:48:46 +0000 |
| commit | faacc138e03d705339dc2b9e927efdddbe309071 (patch) | |
| tree | 24f63d3603db6818512c4cf94641aa8eaf2b03c8 /math | |
| parent | multimedia/intel-media-sdk: detect GPU generation for VPL handover (diff) | |
math/py-z3-solver: fix build on armv7
Same issue as on powerpc.
Diffstat (limited to 'math')
| -rw-r--r-- | math/py-z3-solver/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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 |