commit: ddefa3f2303044f6de5bb6123799409c7c048ff1
Author: Jeffrey Lin <jeffrey <AT> icurse <DOT> nl>
AuthorDate: Fri Jun 18 02:15:42 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jan 19 02:36:45 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ddefa3f2
dev-java/checker-framework-qual: initial import
Signed-off-by: Jeffrey Lin <jeffrey <AT> icurse.nl>
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-java/checker-framework-qual/Manifest | 1 +
.../checker-framework-qual-3.14.0.ebuild | 26 ++++++++++++++++++++++
dev-java/checker-framework-qual/metadata.xml | 16 +++++++++++++
3 files changed, 43 insertions(+)
diff --git a/dev-java/checker-framework-qual/Manifest
b/dev-java/checker-framework-qual/Manifest
new file mode 100644
index 000000000000..420abc50100b
--- /dev/null
+++ b/dev-java/checker-framework-qual/Manifest
@@ -0,0 +1 @@
+DIST checker-framework-3.14.0.tar.gz 7788010 BLAKE2B
e05647b7a551cb1e53c32ea65c1d5a28ed7a968310223664704722c58b6df188e80581df383937fef6ebed5042e7234281b55069fde1f4cb34853495c4e2fbff
SHA512
14be47e823ba67b6fcb7a8033632a2dd56341bd0d2a56c7501b50eab5e471622372eb4b62f4e78e33be019c15f44d075d146ece98fa3316e7cb24346db98c238
diff --git
a/dev-java/checker-framework-qual/checker-framework-qual-3.14.0.ebuild
b/dev-java/checker-framework-qual/checker-framework-qual-3.14.0.ebuild
new file mode 100644
index 000000000000..877c3931baf1
--- /dev/null
+++ b/dev-java/checker-framework-qual/checker-framework-qual-3.14.0.ebuild
@@ -0,0 +1,26 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+MY_PN="${PN%-qual}"
+MY_P="${MY_PN}-${PV}"
+JAVA_PKG_IUSE="doc source"
+JAVA_TESTING_FRAMEWORKS="junit"
+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://codeload.github.com/typetools/${MY_PN}/tar.gz/refs/tags/${MY_P}
-> ${MY_P}.tar.gz"
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64"
+
+DEPEND=">=virtual/jdk-1.8:*"
+RDEPEND=">=virtual/jre-1.8:*"
+
+S="${WORKDIR}/${MY_PN}-${MY_P}/checker-qual"
+
+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
new file mode 100644
index 000000000000..2ab848a3d886
--- /dev/null
+++ b/dev-java/checker-framework-qual/metadata.xml
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";>
+<pkgmetadata>
+ <maintainer type="project">
+ <email>[email protected]</email>
+ <name>Java</name>
+ </maintainer>
+ <longdescription>
+The Checker Framework enhances Java's type system to make it
+more powerful and useful. This lets software developers detect
+and prevent errors in their Java programs.
+
+A "checker" is a tool that warns you about certain errors or
+gives you a guarantee that those errors do not occur.
+ </longdescription>
+</pkgmetadata>
