svn commit: r393189 - head/math/why3

[Dmitry Marakasov]

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}