Date: Fri, 4 Sep 2015 14:26:05 +0000 (UTC) From: Dmitry Marakasov <amdmi3@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r396096 - head/math/proofgeneral Message-ID: <201509041426.t84EQ5Pf086937@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: amdmi3 Date: Fri Sep 4 14:26:05 2015 New Revision: 396096 URL: https://svnweb.freebsd.org/changeset/ports/396096 Log: - Add NO_ARCH - Don't install empty docdirs Approved by: portmgr blanket Modified: head/math/proofgeneral/Makefile Modified: head/math/proofgeneral/Makefile ============================================================================== --- head/math/proofgeneral/Makefile Fri Sep 4 14:06:05 2015 (r396095) +++ head/math/proofgeneral/Makefile Fri Sep 4 14:26:05 2015 (r396096) @@ -20,8 +20,9 @@ RUN_DEPENDS= ${LOCALBASE}/share/icons/hi USE_EMACS= yes INSTALLS_ICONS= yes -USES= gmake perl5 shebangfix tar:tgz +USES= gmake perl5 shebangfix tar:tgz SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags +NO_ARCH= yes .include <bsd.port.pre.mk> @@ -51,8 +52,8 @@ BUILD_DEPENDS+= texi2html:${PORTSDIR}/te .endif PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \ - PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lclam lego \ - pgshell phox plastic twelf + PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lego \ + pgshell phox twelf post-patch: @${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \ @@ -74,4 +75,7 @@ pre-build: @${RM} ${WRKSRC}/.byte-compile || ${TRUE} #.endif +post-install: + @${FIND} ${STAGEDIR}${DOCSDIR} -type d -empty -delete + .include <bsd.port.post.mk>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201509041426.t84EQ5Pf086937>