diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2024-09-13 07:06:18 +0200 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2024-09-18 14:09:41 +0200 |
| commit | 5fc07861bdeb744206c96048d629e6d9f35b44f1 (patch) | |
| tree | 50e0f7891e83110e8b098db651c4a1e98b511e7d /dev-java | |
| parent | dev-java/metainf-services: add 1.11 (diff) | |
| download | gentoo-5fc07861bdeb744206c96048d629e6d9f35b44f1.tar.gz gentoo-5fc07861bdeb744206c96048d629e6d9f35b44f1.tar.bz2 gentoo-5fc07861bdeb744206c96048d629e6d9f35b44f1.zip | |
dev-java/checker-framework-qual: add 3.47.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/38605/commits/24902773a2bd522ba58ad567aa5f138aa89e1911
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-java')
| -rw-r--r-- | dev-java/checker-framework-qual/Manifest | 1 | ||||
| -rw-r--r-- | dev-java/checker-framework-qual/checker-framework-qual-3.47.0.ebuild | 23 |
2 files changed, 24 insertions, 0 deletions
diff --git a/dev-java/checker-framework-qual/Manifest b/dev-java/checker-framework-qual/Manifest index a5959914cdf3..f0802ea1f788 100644 --- a/dev-java/checker-framework-qual/Manifest +++ b/dev-java/checker-framework-qual/Manifest @@ -1 +1,2 @@ DIST checker-framework-3.43.0.tar.gz 8306595 BLAKE2B bcabe8e5a0de20615980048780528b6fcb1946f8793b9cd7c3b12afeb4688c6eb91724fd111419a243801b1456537cd40994d062f2ac341e904c93c285c530ad SHA512 73f6d6d45cf926b23160fc6089596f27b33b1ae6b8489aa3a2c2e0d8330331c331ce87d0826de8f512432d469f96330e77a4323082b3db4af5f5abf81ba06295 +DIST checker-framework-3.47.0.tar.gz 8335232 BLAKE2B 4b6d8f5bb055402e6b368640eb42e4e13173dc847a4b8145e7c306856cab2151c17bfbd2c3a645708e9b7525a1e3f73d4c28c3ae24d038ac0c3119d8fcf671df SHA512 17188ab83ee8c91fb112ed0f750611c7fb5fc17f80a0bbd9b19f1514902770c2a227cf879fb581c8c915fa9827febaa8e67a0188c70df625268118344a281fbd diff --git a/dev-java/checker-framework-qual/checker-framework-qual-3.47.0.ebuild b/dev-java/checker-framework-qual/checker-framework-qual-3.47.0.ebuild new file mode 100644 index 000000000000..026febee0f73 --- /dev/null +++ b/dev-java/checker-framework-qual/checker-framework-qual-3.47.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2024 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-11:*" # module-info +RDEPEND=">=virtual/jre-1.8:*" + +JAVA_SRC_DIR="src/main/java" |