[gentoo-commits] repo/gentoo:master commit in: dev-java/checker-framework-qual/

[Miroslav Šulc]

commit:     a6ed8190dcbde43acf1ec4965ab104869ca338a2
Author:     Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Thu Oct 12 07:09:50 2023 +0000
Commit:     Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Fri Dec  8 09:47:27 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a6ed8190

dev-java/checker-framework-qual: add 3.41.0

Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>

 dev-java/checker-framework-qual/Manifest           |  1 +
 .../checker-framework-qual-3.41.0.ebuild           | 23 ++++++++++++++++++++++
 2 files changed, 24 insertions(+)

diff --git a/dev-java/checker-framework-qual/Manifest 
b/dev-java/checker-framework-qual/Manifest
index 420abc50100b..498148d40948 100644
--- a/dev-java/checker-framework-qual/Manifest
+++ b/dev-java/checker-framework-qual/Manifest
@@ -1 +1,2 @@
 DIST checker-framework-3.14.0.tar.gz 7788010 BLAKE2B 
e05647b7a551cb1e53c32ea65c1d5a28ed7a968310223664704722c58b6df188e80581df383937fef6ebed5042e7234281b55069fde1f4cb34853495c4e2fbff
 SHA512 
14be47e823ba67b6fcb7a8033632a2dd56341bd0d2a56c7501b50eab5e471622372eb4b62f4e78e33be019c15f44d075d146ece98fa3316e7cb24346db98c238
+DIST checker-framework-3.41.0.tar.gz 8271094 BLAKE2B 
804e0b03872f4b6d9311ddba83bc2ae1e6f167fd62330d2461ee54338e592c84b4d94200f6e0d1de6ed0258343ab0b081f3e8108efce62f396c7c753cadae471
 SHA512 
4d0f82269a521c498b2e54bfaed1513c708e538fc42b5bb22ae176a368c7f409548820f8fa56009997e341f1b716c184bdbadf4d3b5b9e2f3d2ee4148eb6c433

diff --git 
a/dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild 
b/dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild
new file mode 100644
index 000000000000..6504503b76cd
--- /dev/null
+++ b/dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+JAVA_PKG_IUSE="doc source"
+MAVEN_ID="org.checkerframework:checker-qual:${PV}"
+
+inherit java-pkg-2 java-pkg-simple
+
+DESCRIPTION="Annotations for type-checking by the Checker Framework"
+HOMEPAGE="https://checkerframework.org/";
+SRC_URI="https://github.com/typetools/checker-framework/archive/checker-framework-${PV}.tar.gz";
+S="${WORKDIR}/checker-framework-checker-framework-${PV}/checker-qual"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
+
+DEPEND=">=virtual/jdk-1.8:*"
+RDEPEND=">=virtual/jre-1.8:*"
+
+JAVA_SRC_DIR="src/main/java/org/checkerframework/"