diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-07-30 01:49:12 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-07-30 01:49:12 +0800 |
| commit | 1a8ea069f10d0da4e848788b33c112637bcfbc16 (patch) | |
| tree | ab455f79bce299b8bd01181e77be9ba61cb0cae7 /math | |
| parent | 482d62bab66584a024c635f455be14b0ddf2c407 (diff) | |
| download | freebsd-ports-gnome-1a8ea069f10d0da4e848788b33c112637bcfbc16.tar.gz freebsd-ports-gnome-1a8ea069f10d0da4e848788b33c112637bcfbc16.tar.zst freebsd-ports-gnome-1a8ea069f10d0da4e848788b33c112637bcfbc16.zip | |
- Strip binaries
Diffstat (limited to 'math')
| -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} |