diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-07-29 17:49:12 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-07-29 17:49:12 +0000 |
| commit | ef78c0a4b610c069942699d694f855f9f688333e (patch) | |
| tree | ab455f79bce299b8bd01181e77be9ba61cb0cae7 | |
| parent | ec79edeb05f4cec9be07c17c0a7e070678e646ef (diff) | |
Notes
| -rw-r--r-- | math/why3/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/why3/Makefile b/math/why3/Makefile index 5d8ff420f616..6558b40d2866 100644 --- a/math/why3/Makefile +++ b/math/why3/Makefile @@ -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} |