diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2023-02-20 10:38:01 +0100 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2023-02-27 07:59:07 +0100 |
| commit | fe9dffee27f3d18184f7947d011e3280a6a50ee9 (patch) | |
| tree | 492f9556b11769407fd3077394c88387d9e935ed /dev-java/javax-servlet-api | |
| parent | dev-java/javax-el-api: new package, add 2.2 (diff) | |
| download | gentoo-fe9dffee27f3d18184f7947d011e3280a6a50ee9.tar.gz gentoo-fe9dffee27f3d18184f7947d011e3280a6a50ee9.tar.bz2 gentoo-fe9dffee27f3d18184f7947d011e3280a6a50ee9.zip | |
dev-java/javax-servlet-api: new package, add 2.5
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-java/javax-servlet-api')
| -rw-r--r-- | dev-java/javax-servlet-api/Manifest | 1 | ||||
| -rw-r--r-- | dev-java/javax-servlet-api/javax-servlet-api-2.5.ebuild | 29 | ||||
| -rw-r--r-- | dev-java/javax-servlet-api/metadata.xml | 13 |
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-java/javax-servlet-api/Manifest b/dev-java/javax-servlet-api/Manifest new file mode 100644 index 000000000000..1dff3cf160fc --- /dev/null +++ b/dev-java/javax-servlet-api/Manifest @@ -0,0 +1 @@ +DIST servlet-api-2.5-sources.jar 158114 BLAKE2B 84997b9cc2122f49a850ac32089eb484bc4f68c4e73c7541cf70f453f0a0eaa0c037d6f2b8c8270d4122502f224a6943011f6a964da406093d0ad4bb173dc71e SHA512 6590adea214ba7f59e033b8f450ca8fd3a0764ac6aaf2789d5824ddeecc4c520d004242e42e3a058517d5f556a41a970f782dfde35b2cf184874a77063dc0fef diff --git a/dev-java/javax-servlet-api/javax-servlet-api-2.5.ebuild b/dev-java/javax-servlet-api/javax-servlet-api-2.5.ebuild new file mode 100644 index 000000000000..4964c46c94c5 --- /dev/null +++ b/dev-java/javax-servlet-api/javax-servlet-api-2.5.ebuild @@ -0,0 +1,29 @@ +# Copyright 2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +JAVA_PKG_IUSE="doc source" +MAVEN_ID="javax.servlet:servlet-api:2.5" + +inherit java-pkg-2 java-pkg-simple + +DESCRIPTION="JavaServlet(TM) Specification" +HOMEPAGE="https://javaee.github.io/servlet-spec/" +SRC_URI="https://repo1.maven.org/maven2/javax/servlet/servlet-api/${PV}/servlet-api-${PV}-sources.jar" + +LICENSE="CDDL GPL-2" +SLOT="2.5" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86" + +RDEPEND=">=virtual/jre-1.8:*" +DEPEND=">=virtual/jdk-1.8:*" + +JAVA_RESOURCE_DIRS="resources" + +src_prepare() { + java-pkg-2_src_prepare + mkdir -p "${JAVA_RESOURCE_DIRS}/javax/servlet/resources" || die + mv dtd/* "${JAVA_RESOURCE_DIRS}/javax/servlet/resources" || die + find . -type f -name '*.properties' | xargs cp --parent -t resources || die +} diff --git a/dev-java/javax-servlet-api/metadata.xml b/dev-java/javax-servlet-api/metadata.xml new file mode 100644 index 000000000000..8295711f93e1 --- /dev/null +++ b/dev-java/javax-servlet-api/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>java@gentoo.org</email> + </maintainer> + <longdescription> + Java Servlet is the foundation web specification in the Java Enterprise Platform. Developers can build web applications using the Servlet API to interact with the request/response workflow. + </longdescription> + <upstream> + <doc>https://jcp.org/aboutJava/communityprocess/mrel/jsr154/</doc> + </upstream> +</pkgmetadata> |