diff options
Diffstat (limited to 'lang')
| -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} |