diff options
Diffstat (limited to 'dev-java/checker-framework-qual')
| -rw-r--r-- | dev-java/checker-framework-qual/Manifest | 1 | ||||
| -rw-r--r-- | dev-java/checker-framework-qual/checker-framework-qual-3.52.1.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 afe5e7b0d895..8608d0590458 100644 --- a/dev-java/checker-framework-qual/Manifest +++ b/dev-java/checker-framework-qual/Manifest @@ -1 +1,2 @@ DIST checker-framework-3.51.1.tar.gz 10856115 BLAKE2B 55f1353f04aee6eb1067760316482f2218865d56930558fb91b17f031763b58b0ae7e5ee87584b04f687829f5893a353d884544cfa9859c2b0b5bcbd0fec1342 SHA512 8401d26d5a1ceaa6a47f477c3c3afc096e5fdaa445e2ada1aa1ddc1e50d74b9139ca2026dc18b724ccb018d648e66a9386ffb89bda6fe68d9eb61fa1d6806e66 +DIST checker-framework-3.52.1.tar.gz 10861955 BLAKE2B 6584039c2cfaf9e58e6aab50e2704c845644173a8af2486edf6612f8c20b7dfa4f720ed2d0b24cb041f7cda836c55da73e48a43a633e473ef7f76bdf0b40bacb SHA512 fcd287de379856294744441dc8d8241c2a17c50dba62df70d958d3429485a4fa27b3e349baa11f2ac1fa4dd255da932316ab32f947326eb5cb825e0703100889 diff --git a/dev-java/checker-framework-qual/checker-framework-qual-3.52.1.ebuild b/dev-java/checker-framework-qual/checker-framework-qual-3.52.1.ebuild new file mode 100644 index 000000000000..435d4b3f0da2 --- /dev/null +++ b/dev-java/checker-framework-qual/checker-framework-qual-3.52.1.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2025 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 ~arm64 ~ppc64" + +DEPEND=">=virtual/jdk-11:*" # module-info +RDEPEND=">=virtual/jre-1.8:*" + +JAVA_SRC_DIR="src/main/java" |