diff options
| author | glewis <glewis@FreeBSD.org> | 2018-10-08 02:16:38 +0800 |
|---|---|---|
| committer | glewis <glewis@FreeBSD.org> | 2018-10-08 02:16:38 +0800 |
| commit | 228167112b1e1cc0a8aa050097db9ec7aef57ebe (patch) | |
| tree | 2505b6c39c4c268301daf1af1f73e850dccad5b3 /java/jdk10-doc | |
| parent | ef678bc158802d992dcc4a9dc997e8c9e6892c4b (diff) | |
| download | freebsd-ports-gnome-228167112b1e1cc0a8aa050097db9ec7aef57ebe.tar.gz freebsd-ports-gnome-228167112b1e1cc0a8aa050097db9ec7aef57ebe.tar.zst freebsd-ports-gnome-228167112b1e1cc0a8aa050097db9ec7aef57ebe.zip | |
. Add a doc port for JDK 10.
Diffstat (limited to 'java/jdk10-doc')
| -rw-r--r-- | java/jdk10-doc/Makefile | 40 | ||||
| -rw-r--r-- | java/jdk10-doc/distinfo | 3 | ||||
| -rw-r--r-- | java/jdk10-doc/pkg-descr | 6 |
3 files changed, 49 insertions, 0 deletions
diff --git a/java/jdk10-doc/Makefile b/java/jdk10-doc/Makefile new file mode 100644 index 000000000000..c3513570a23d --- /dev/null +++ b/java/jdk10-doc/Makefile @@ -0,0 +1,40 @@ +# $FreeBSD$ + +PORTNAME= jdk +PORTVERSION= ${JDK_VERSION}.${JDK_UPDATE_VERSION}.${JDK_PATCH_VERSION} +CATEGORIES= java devel +MASTER_SITES= # +PKGNAMESUFFIX= ${JDK_VERSION}-doc +DISTNAME= jdk-${PORTVERSION}_doc-all + +MAINTAINER= java@FreeBSD.org +COMMENT= Java Development Kit ${JDK_MAJOR_VER} Documentation + +DOCSDIR?= ${PREFIX}/share/doc/jdk${JDK_VERSION} +RESTRICTED= This documentation is under license and export control. + +WRKSRC= ${WRKDIR}/docs +JDK_VERSION= 10 +JDK_UPDATE_VERSION= 0 +JDK_PATCH_VERSION= 2 +DOWNLOAD_URL= http://www.oracle.com/technetwork/java/javase/downloads/index.html + +NO_BUILD= yes +USES= zip +PORTDOCS= * + +OPTIONS_DEFINE= DOCS + +.include <bsd.port.pre.mk> + +.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) +IGNORE=You must manually fetch ${DISTNAME}${EXTRACT_SUFX} from ${DOWNLOAD_URL} by selecting the "Download" link for the "Java SE 10 Documentation", place it in ${DISTDIR} and then run make again +.endif + +do-install: + @${ECHO} -n ">> Installing documentation in ${DOCSDIR}..." + @${MKDIR} ${STAGEDIR}${DOCSDIR} + @(cd ${WRKSRC}/ && ${COPYTREE_SHARE} \* ${STAGEDIR}${DOCSDIR}/) + @${ECHO} " [ DONE ]" + +.include <bsd.port.post.mk> diff --git a/java/jdk10-doc/distinfo b/java/jdk10-doc/distinfo new file mode 100644 index 000000000000..9c050bb6af8c --- /dev/null +++ b/java/jdk10-doc/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1538930699 +SHA256 (jdk-10.0.2_doc-all.zip) = cb7b1703e9e1ef8adc2506672e5d6396df2d76a4f9f4dda8e4226b4ae52852a8 +SIZE (jdk-10.0.2_doc-all.zip) = 69312792 diff --git a/java/jdk10-doc/pkg-descr b/java/jdk10-doc/pkg-descr new file mode 100644 index 000000000000..ed3ff7c53bbe --- /dev/null +++ b/java/jdk10-doc/pkg-descr @@ -0,0 +1,6 @@ +Java Development Kit 10 Documentation. Contains release information, +API documentation, guides to new features and tool documentation. + +The documentation will be installed in ${PREFIX}/share/doc/jdk10/ + +WWW: http://www.oracle.com/us/technologies/java/index.html |