diff options
| author | Alex Dupre <ale@FreeBSD.org> | 2018-01-23 13:55:27 +0000 |
|---|---|---|
| committer | Alex Dupre <ale@FreeBSD.org> | 2018-01-23 13:55:27 +0000 |
| commit | 97dc2e37b8b39c961334926e584370156d87604b (patch) | |
| tree | 78033c5c2e6fca8df1270ded1352868c92fedcaa /math/z3/Makefile | |
| parent | 9f24a7e04e2ac2d644487f541f308cb14dd97aed (diff) | |
Notes
Diffstat (limited to 'math/z3/Makefile')
| -rw-r--r-- | math/z3/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 30b750ac1f0e..c71937ce89b3 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -2,8 +2,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= ${PORTNAME}- -DISTVERSION= 4.5.0 -PORTREVISION= 2 +DISTVERSION= 4.6.0 CATEGORIES= math MAINTAINER= 6yearold@gmail.com @@ -50,5 +49,6 @@ INSTALL_WRKSRC= ${WRKSRC}/build post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/z3 ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libz3.so + ${LN} -s libz3.so ${STAGEDIR}${PREFIX}/lib/libz3.so.0 .include <bsd.port.mk> |