git: 7978785066d2 - main - math/z3: Unbreak on i386
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 03 Jan 2024 20:01:09 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=7978785066d27708415f5955d563b95ceb523088
commit 7978785066d27708415f5955d563b95ceb523088
Author: Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2024-01-03 20:00:33 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-01-03 20:00:58 +0000
math/z3: Unbreak on i386
PR: 269570
---
math/z3/Makefile | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/math/z3/Makefile b/math/z3/Makefile
index 959ac4187209..621b39118daf 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -10,8 +10,6 @@ WWW= https://github.com/Z3Prover/z3
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE.txt
-BROKEN_i386= internal linker error: wrote incorrect addend value 0x2042E5B instead of 0x0 for dynamic relocation R_386_32 at offset 0x813397 against symbol __gxx_personality_v0
-
USES= compiler:c++11-lang python:build
USE_GITHUB= yes
GH_ACCOUNT= Z3Prover
@@ -35,6 +33,7 @@ GMP_CONFIGURE_ON= --gmp
GMP_USES= localbase:ldflags
GMP_LIB_DEPENDS= libgmp.so:math/gmp
+CXXFLAGS_i386= -fPIC
CXXFLAGS_armv7= -fPIC
CXXFLAGS_powerpc= -fPIC
LDFLAGS_i386= -Wl,-znotext