mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-30 10:38:37 +00:00
Code Issues Releases Activity

math/z3: Unbreak on i386

Browse Source 
PR:		269570
This commit is contained in:
Gleb Popov 2024-01-03 23:00:33 +03:00
parent 474a16b79d
commit 7978785066
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/z3/Makefile
View File

@ -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