From ddefa3f2303044f6de5bb6123799409c7c048ff1 Mon Sep 17 00:00:00 2001
From: Jeffrey Lin <jeffrey@icurse.nl>
Date: Thu, 17 Jun 2021 22:15:42 -0400
Subject: dev-java/checker-framework-qual: initial import

Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl>
Signed-off-by: Sam James <sam@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(+)
 create mode 100644 dev-java/checker-framework-qual/Manifest
 create mode 100644 dev-java/checker-framework-qual/checker-framework-qual-3.14.0.ebuild
 create mode 100644 dev-java/checker-framework-qual/metadata.xml

(limited to 'dev-java')

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>java@gentoo.org</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>
-- 
cgit v1.2.3-65-gdbad