diff options
author | Ed Maste <emaste@FreeBSD.org> | 2018-09-18 16:59:01 +0000 |
---|---|---|
committer | Ed Maste <emaste@FreeBSD.org> | 2018-09-18 16:59:01 +0000 |
commit | b336e448543273069439cd5db328faa41cc2aab0 (patch) | |
tree | b931321bedf4384bc5c1a975ea2b89bda916afd5 /math/z3 | |
parent | 2371ee22c78eb4989c186050f0140389298cc940 (diff) | |
download | ports-b336e448543273069439cd5db328faa41cc2aab0.tar.gz ports-b336e448543273069439cd5db328faa41cc2aab0.zip |
Notes
Diffstat (limited to 'math/z3')
-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 |