From 80986f3bba5207fadfa3c154807c2bd35fc4fe43 Mon Sep 17 00:00:00 2001
From: amdmi3 <amdmi3@FreeBSD.org>
Date: Fri, 28 Aug 2015 13:39:56 +0000
Subject: - Switch to options helpers - While here, add some NO_ARCHes and
 couple missing PORT_OPTIONS=DOCS

Approved by:	portmgr blanket
---
 math/why3/Makefile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'math/why3')

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>
-- 
cgit