diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-08-28 13:39:56 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-08-28 13:39:56 +0000 |
| commit | e638299edcfecb35838ad7fad0b71c4fa5ed7639 (patch) | |
| tree | 30df43bd9eff2c4d3d713edce11d9d1da280e753 /math/why3 | |
| parent | 3c87974395c0f207b0768da251c721e0125b48b7 (diff) | |
Notes
Diffstat (limited to 'math/why3')
| -rw-r--r-- | math/why3/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/math/why3/Makefile b/math/why3/Makefile index 6558b40d2866..49997e350a17 100644 --- a/math/why3/Makefile +++ b/math/why3/Makefile @@ -52,8 +52,6 @@ OPTIONS_DEFINE= DOCS MAKE_JOBS_UNSAFE= yes -.include <bsd.port.options.mk> - post-patch: @${REINPLACE_CMD} -e 's|/bin/bash|/bin/sh|g' \ ${WRKSRC}/src/util/sysutil.ml \ @@ -63,9 +61,9 @@ post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/why3* \ ${STAGEDIR}${PREFIX}/lib/why3/plugins/*.cmxs \ ${STAGEDIR}${PREFIX}/lib/why3/why3-cpulimit -.if ${PORT_OPTIONS:MDOCS} + +post-install-DOCS-on: ${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/doc/manual.pdf ${STAGEDIR}${DOCSDIR} -.endif .include <bsd.port.mk> |