From fe9dffee27f3d18184f7947d011e3280a6a50ee9 Mon Sep 17 00:00:00 2001 From: "Volkmar W. Pogatzki" Date: Mon, 20 Feb 2023 10:38:01 +0100 Subject: [PATCH] dev-java/javax-servlet-api: new package, add 2.5 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Volkmar W. Pogatzki Signed-off-by: Miroslav Ć ulc --- dev-java/javax-servlet-api/Manifest | 1 + .../javax-servlet-api-2.5.ebuild | 29 +++++++++++++++++++ dev-java/javax-servlet-api/metadata.xml | 13 +++++++++ 3 files changed, 43 insertions(+) create mode 100644 dev-java/javax-servlet-api/Manifest create mode 100644 dev-java/javax-servlet-api/javax-servlet-api-2.5.ebuild create mode 100644 dev-java/javax-servlet-api/metadata.xml diff --git a/dev-java/javax-servlet-api/Manifest b/dev-java/javax-servlet-api/Manifest new file mode 100644 index 0000000000000..1dff3cf160fcc --- /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 0000000000000..4964c46c94c52 --- /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 0000000000000..8295711f93e11 --- /dev/null +++ b/dev-java/javax-servlet-api/metadata.xml @@ -0,0 +1,13 @@ + + + + + java@gentoo.org + + + 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. + + + https://jcp.org/aboutJava/communityprocess/mrel/jsr154/ + +