summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVolkmar W. Pogatzki <gentoo@pogatzki.net>2023-12-19 07:51:28 +0100
committerMiroslav Šulc <fordfrog@gentoo.org>2023-12-22 16:13:52 +0100
commit4c8ca207485e4b3ccec234928345bd00a9b7df35 (patch)
treece2b1b5cecdbcc93236a1dc8a923e1da3a6f4121 /dev-java/checker-framework-qual
parentdev-db/pgrouting: add 3.6.1 (diff)
downloadgentoo-4c8ca207485e4b3ccec234928345bd00a9b7df35.tar.gz
gentoo-4c8ca207485e4b3ccec234928345bd00a9b7df35.tar.bz2
gentoo-4c8ca207485e4b3ccec234928345bd00a9b7df35.zip
dev-java/checker-framework-qual: add 3.42.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-java/checker-framework-qual')
-rw-r--r--dev-java/checker-framework-qual/Manifest1
-rw-r--r--dev-java/checker-framework-qual/checker-framework-qual-3.42.0.ebuild24
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-java/checker-framework-qual/Manifest b/dev-java/checker-framework-qual/Manifest
index 498148d40948..54bfef232061 100644
--- a/dev-java/checker-framework-qual/Manifest
+++ b/dev-java/checker-framework-qual/Manifest
@@ -1,2 +1,3 @@
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
+DIST checker-framework-3.42.0.tar.gz 8280060 BLAKE2B c2f7c192eb9a7a26b66e46f0c22c18a05ec8cc3c4c01d444e7f14e41c89db83b5d2738f78e3b16eea9cd9ebf3138171bbc6fabb195bdd9776defa06d75e516d6 SHA512 310578593509674b2d36353b2044009ac98b50906d715f1168a96490a1b87aa8227c1713f64adeabd98e370fb1a6a25dd148a5700ff6f4f28ba6b69ba505c149
diff --git a/dev-java/checker-framework-qual/checker-framework-qual-3.42.0.ebuild b/dev-java/checker-framework-qual/checker-framework-qual-3.42.0.ebuild
new file mode 100644
index 000000000000..334b65c45f6f
--- /dev/null
+++ b/dev-java/checker-framework-qual/checker-framework-qual-3.42.0.ebuild
@@ -0,0 +1,24 @@
+# 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_AUTOMATIC_MODULE_NAME="org.checkerframework.checker.qual"
+JAVA_SRC_DIR="src/main/java/org/checkerframework/"