From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id A6303158087 for ; Wed, 19 Jan 2022 02:37:03 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 68BC62BC00C; Wed, 19 Jan 2022 02:37:01 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id E5CB52BC00C for ; Wed, 19 Jan 2022 02:37:00 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 3C402342DD4 for ; Wed, 19 Jan 2022 02:36:59 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 921602A2 for ; Wed, 19 Jan 2022 02:36:57 +0000 (UTC) From: "Sam James" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sam James" Message-ID: <1642559805.ddefa3f2303044f6de5bb6123799409c7c048ff1.sam@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-java/checker-framework-qual/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-java/checker-framework-qual/Manifest dev-java/checker-framework-qual/checker-framework-qual-3.14.0.ebuild dev-java/checker-framework-qual/metadata.xml X-VCS-Directories: dev-java/checker-framework-qual/ X-VCS-Committer: sam X-VCS-Committer-Name: Sam James X-VCS-Revision: ddefa3f2303044f6de5bb6123799409c7c048ff1 X-VCS-Branch: master Date: Wed, 19 Jan 2022 02:36:57 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: efb8ee05-c227-492c-b174-8ef471e6ea88 X-Archives-Hash: 259e9848e6cea0f0788db08b11de33e9 commit: ddefa3f2303044f6de5bb6123799409c7c048ff1 Author: Jeffrey Lin icurse nl> AuthorDate: Fri Jun 18 02:15:42 2021 +0000 Commit: Sam James gentoo 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 icurse.nl> Signed-off-by: Sam James 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 @@ + + + + + java@gentoo.org + Java + + +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. + +