diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-03-10 22:15:52 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-03-10 22:15:52 +0800 |
| commit | f18b76328e564e814dd3127e2503b2cfc41078a2 (patch) | |
| tree | c2a42a3df348adcd41156c28366d97a4a3bea9e8 | |
| parent | 0f89c33e188f083b2a2b96e03d0f6adfc784b77c (diff) | |
| download | freebsd-ports-gnome-f18b76328e564e814dd3127e2503b2cfc41078a2.tar.gz freebsd-ports-gnome-f18b76328e564e814dd3127e2503b2cfc41078a2.tar.zst freebsd-ports-gnome-f18b76328e564e814dd3127e2503b2cfc41078a2.zip | |
- Simplify MASTER_SITES
- Strip binaries
| -rw-r--r-- | lang/ats/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/ats/Makefile b/lang/ats/Makefile index 448b14a13f8c..a31b724c6774 100644 --- a/lang/ats/Makefile +++ b/lang/ats/Makefile @@ -3,9 +3,9 @@ PORTNAME= ats PORTVERSION= ${ATS_VER} +PORTREVISION= 1 CATEGORIES= lang -MASTER_SITES= SF -MASTER_SITE_SUBDIR= ${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION} +MASTER_SITES= SF/${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION} DISTNAME= ${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION} MAINTAINER= ports@FreeBSD.org @@ -54,6 +54,7 @@ post-configure: .endif post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/${ATS_LIBDIR_REL}/bin/* ${MKDIR} ${STAGEDIR}${DOCSDIR} cd ${WRKSRC}/doc && \ ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR} |