diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-04 00:20:03 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-04 00:20:03 +0000 |
| commit | b26a28d61964b5c5877f0d97003ba7d9ec101b09 (patch) | |
| tree | 1eb421779643b7ad38e11a93c580f1d631d373dc /java/jgrapht | |
| parent | Remove NOPORTDOCS and NOPORTEXAMPLES. (diff) | |
Remove NOPORTDOCS and NOPORTEXAMPLES.
Diffstat (limited to 'java/jgrapht')
| -rw-r--r-- | java/jgrapht/Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/java/jgrapht/Makefile b/java/jgrapht/Makefile index 12e1d3bdea9f..947fc6d446c8 100644 --- a/java/jgrapht/Makefile +++ b/java/jgrapht/Makefile @@ -14,19 +14,21 @@ USES= zip USE_JAVA= yes JAVA_VERSION= 1.6 1.7 +OPTIONS_DEFINE= DOCS + +.include <bsd.port.options.mk> + .if !defined(WITHOUT_COMPILE) USE_ANT= yes ALL_TARGET= jar -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} ALL_TARGET+= javadoc .endif .else NO_BUILD= yes .endif -.if !defined(NOPORTDOCS) PORTDOCS= * -.endif PLIST_FILES= %%JAVAJARDIR%%/${PORTNAME}.jar @@ -48,7 +50,7 @@ do-install: @${ECHO_MSG} -n ">> Installing JAR as ${JAVAJARDIR}/${PORTNAME}.jar..." @${INSTALL_DATA} ${WRKSRC}/${PORTNAME}-jdk1.5.jar ${STAGEDIR}${JAVAJARDIR}/${PORTNAME}.jar @${ECHO_MSG} " [DONE]" -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} @${ECHO_MSG} -n ">> Installing documentation in ${DOCSDIR}..." @cd ${WRKSRC}/javadoc && ${FIND} . -type d -exec ${MKDIR} ${STAGEDIR}${DOCSDIR}/{} \; @cd ${WRKSRC}/javadoc && ${FIND} . -type f -exec ${INSTALL_DATA} {} ${STAGEDIR}${DOCSDIR}/{} \; |