diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-08-28 21:39:56 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-08-28 21:39:56 +0800 |
| commit | 80986f3bba5207fadfa3c154807c2bd35fc4fe43 (patch) | |
| tree | 30df43bd9eff2c4d3d713edce11d9d1da280e753 /math/why3 | |
| parent | 107a7c671373ca4fc49013600186b99151a35dd1 (diff) | |
| download | freebsd-ports-gnome-80986f3bba5207fadfa3c154807c2bd35fc4fe43.tar.gz freebsd-ports-gnome-80986f3bba5207fadfa3c154807c2bd35fc4fe43.tar.zst freebsd-ports-gnome-80986f3bba5207fadfa3c154807c2bd35fc4fe43.zip | |
- Switch to options helpers
- While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS
Approved by: portmgr blanket
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> |