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