diff options
-rw-r--r-- | math/z3/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 48a97ff18401..409d42e86f9b 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -35,6 +35,7 @@ GMP_LIB_DEPENDS= libgmp.so:math/gmp HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix=${PREFIX} USE_LDCONFIG= yes +LDFLAGS_i386= -Wl,-znotext BUILD_WRKSRC= ${WRKSRC}/build INSTALL_WRKSRC= ${WRKSRC}/build |