diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2014-01-03 15:34:13 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-01-03 15:34:13 +0000 |
| commit | 58848c550bf7029a7c353fcfb5d561f730a4a04e (patch) | |
| tree | bda726dcf401a0a3088ac3e3520896cd590c1cec /benchmarks/webbench | |
| parent | 49bf36d52771ccccdeacb84f6e4f3406a8814618 (diff) | |
Notes
Diffstat (limited to 'benchmarks/webbench')
| -rw-r--r-- | benchmarks/webbench/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/benchmarks/webbench/Makefile b/benchmarks/webbench/Makefile index 042e87318601..986c4676322e 100644 --- a/benchmarks/webbench/Makefile +++ b/benchmarks/webbench/Makefile @@ -16,19 +16,20 @@ MAKE_ARGS+= CFLAGS="${CPPFLAGS} ${CFLAGS}" MAN1= webbench.1 .endif -.if !defined(NOPORTDOCS) PORTDOCS= copyright changelog -.endif PLIST_FILES= bin/webbench NO_STAGE= yes + +.include <bsd.port.options.mk> + do-install: ${INSTALL_PROGRAM} ${WRKSRC}/webbench ${PREFIX}/bin .if !defined(NO_INSTALL_MANPAGES) ${INSTALL_MAN} ${WRKSRC}/webbench.1 ${MAN1PREFIX}/man/man1 .endif -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} ${MKDIR} ${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/debian/copyright ${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/debian/changelog ${DOCSDIR} |