summaryrefslogtreecommitdiff
path: root/dev-java/checker-framework-qual
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-12-08 11:11:23 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-12-08 11:11:23 +0000
commit909e6f36d5376b253aba44edc8f2af1a5acd0c11 (patch)
tree048569e21e5eb27492bcd1fa73bbc1cc462b3ce5 /dev-java/checker-framework-qual
parentac778f2cf394586c43beb5d753a19ff3f6063556 (diff)
gentoo auto-resync : 08:12:2023 - 11:11:23
Diffstat (limited to 'dev-java/checker-framework-qual')
-rw-r--r--dev-java/checker-framework-qual/Manifest4
-rw-r--r--dev-java/checker-framework-qual/checker-framework-qual-3.41.0.ebuild23
-rw-r--r--dev-java/checker-framework-qual/metadata.xml3
3 files changed, 29 insertions, 1 deletions
diff --git a/dev-java/checker-framework-qual/Manifest b/dev-java/checker-framework-qual/Manifest
index 05f213142d1b..c936d8b97020 100644
--- a/dev-java/checker-framework-qual/Manifest
+++ b/dev-java/checker-framework-qual/Manifest
@@ -1,3 +1,5 @@
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
EBUILD checker-framework-qual-3.14.0.ebuild 731 BLAKE2B 57d49bd7011c294925573f2e71a225ae0b6ac054af1cb0b4da0fb2f363063df33d5372e6dde14b946740c18d95c62210f511a02591931c4ac4a9544ead1c8f97 SHA512 6f6a6b2965218142daa81ccc3435d9f53a7dfbd1cd9d1eab8afe26f0601075f611abc831ac6dc4e3d6ab48f7cd927d76fd8683f80e8f533d6c9bb236e3305716
-MISC metadata.xml 559 BLAKE2B cfdff3f58c4318542e3dd6ac9c98c826607441b11506ab0c2b0357701908c02a5b9e4496550fd81ffeed8b853598885230bf36118b4d36a49f191dfd83bece6d SHA512 fc19ef762da9b61820497c0febb3c5213c661aed64630f8235d06c895588743fa22dbe27930afe2790ee88c32e4744b4f4c44993ca0e251f98add7f5e66ee042
+EBUILD checker-framework-qual-3.41.0.ebuild 682 BLAKE2B 3e02d971e2c1bd39919d8eaa18fe8ecd4db3baa1631daa4eea0348d17902d0185b3e9859b7f82486e4ef31c2b18958a99a0fcc4dce8f40ceb4d1b0fbab5b7b68 SHA512 b90588e05e0e4f0e8a2287a7508a213233839ceea0719fd6a333aa4e663fc328d9251bfaf31183b401a5252a6a0749eb7f3ceba15eee57a2e59586c05f7457e3
+MISC metadata.xml 651 BLAKE2B 2c53d072eaaaa7d09e5d185281efc9c897d1c8008dcbeb791c6b737614aa13f1091bda90b7fea33ff083c32dbd60dec180414af016af94850dee8b2bda8e865a SHA512 3428b96b3eac8b7416aabe2201af09c9bc4c444240ae682750573187a5ba137644aed7cfbcacb3a1162780a9eeb8544b0d6500cefc8f6e62f700271fe185a4d1
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/"
diff --git a/dev-java/checker-framework-qual/metadata.xml b/dev-java/checker-framework-qual/metadata.xml
index ca606ae4ec36..29b8e33bf4e4 100644
--- a/dev-java/checker-framework-qual/metadata.xml
+++ b/dev-java/checker-framework-qual/metadata.xml
@@ -5,6 +5,9 @@
<email>java@gentoo.org</email>
<name>Java</name>
</maintainer>
+ <upstream>
+ <remote-id type="github">typetools/checker-framework</remote-id>
+ </upstream>
<longdescription>
The Checker Framework enhances Java's type system to make it
more powerful and useful. This lets software developers detect