Date: Wed, 29 Jul 2015 17:49:13 +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: r393189 - head/math/why3 Message-ID: <201507291749.t6THnDkR057358@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: amdmi3 Date: Wed Jul 29 17:49:12 2015 New Revision: 393189 URL: https://svnweb.freebsd.org/changeset/ports/393189 Log: - Strip binaries Modified: head/math/why3/Makefile Modified: head/math/why3/Makefile ============================================================================== --- head/math/why3/Makefile Wed Jul 29 17:32:44 2015 (r393188) +++ head/math/why3/Makefile Wed Jul 29 17:49:12 2015 (r393189) @@ -60,6 +60,9 @@ post-patch: ${WRKSRC}/src/jessie/Makefile.in post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/why3* \ + ${STAGEDIR}${PREFIX}/lib/why3/plugins/*.cmxs \ + ${STAGEDIR}${PREFIX}/lib/why3/why3-cpulimit .if ${PORT_OPTIONS:MDOCS} ${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/doc/manual.pdf ${STAGEDIR}${DOCSDIR}
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201507291749.t6THnDkR057358>