mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-03 06:04:53 +00:00
Code Issues Releases Activity

- Strip binaries

Browse Source
This commit is contained in:
Dmitry Marakasov 2015-07-29 17:49:12 +00:00
parent ec79edeb05
commit ef78c0a4b6
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=393189
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/why3/Makefile
View File

@ -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}