diff options
| author | John Marino <marino@FreeBSD.org> | 2013-11-10 17:32:10 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2013-11-10 17:32:10 +0000 |
| commit | 61ce630a0798fdd4fb2a188929a9ed80db0650c0 (patch) | |
| tree | 6d22ef09315ae8f6873f127d317f892c6272444c /devel | |
| parent | 827d1125bc5d5986bff417060e1563ca2ef6058c (diff) | |
Notes
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/gprbuild/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/devel/gprbuild/Makefile b/devel/gprbuild/Makefile index 42722a87ffbe..9a8cbd8de965 100644 --- a/devel/gprbuild/Makefile +++ b/devel/gprbuild/Makefile @@ -20,10 +20,8 @@ DOCSDIR= share/doc/gprbuild WRKSRC= ${WRKDIR}/gprbuild-2012-src SNAPSHOT= 20120510 GNU_CONFIGURE= yes -USE_GMAKE= yes -USES+= ada +USES= ada gmake -NO_STAGE= yes .include <bsd.port.pre.mk> .if ${OPSYS} == "FreeBSD" @@ -34,4 +32,8 @@ post-patch: @${REINPLACE_CMD} -e "s,@AUXPREFIX@,${PREFIX}/gcc-aux," \ ${WRKSRC}/share/gprconfig/compilers.xml +post-install: + cd ${STAGEDIR}${PREFIX}; ${FIND} share -type d -empty | \ + ${SORT} -dr | ${XARGS} ${RMDIR} + .include <bsd.port.post.mk> |