diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-java/checker-framework-qual | |
parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) |
gentoo resync : 02.02.2022
Diffstat (limited to 'dev-java/checker-framework-qual')
-rw-r--r-- | dev-java/checker-framework-qual/Manifest | 3 | ||||
-rw-r--r-- | dev-java/checker-framework-qual/checker-framework-qual-3.14.0.ebuild | 26 | ||||
-rw-r--r-- | dev-java/checker-framework-qual/metadata.xml | 16 |
3 files changed, 45 insertions, 0 deletions
diff --git a/dev-java/checker-framework-qual/Manifest b/dev-java/checker-framework-qual/Manifest new file mode 100644 index 000000000000..be2b7a465d50 --- /dev/null +++ b/dev-java/checker-framework-qual/Manifest @@ -0,0 +1,3 @@ +DIST checker-framework-3.14.0.tar.gz 7788010 BLAKE2B e05647b7a551cb1e53c32ea65c1d5a28ed7a968310223664704722c58b6df188e80581df383937fef6ebed5042e7234281b55069fde1f4cb34853495c4e2fbff SHA512 14be47e823ba67b6fcb7a8033632a2dd56341bd0d2a56c7501b50eab5e471622372eb4b62f4e78e33be019c15f44d075d146ece98fa3316e7cb24346db98c238 +EBUILD checker-framework-qual-3.14.0.ebuild 730 BLAKE2B 7c5a9f44f407f711082ecbeeec31986b621e956ea5801d76b120492f7e87b0a6d9e49b661b2b48e71f9c31cc272a64519119d3725990fc8f544e81a665a61f33 SHA512 8f7bf0fc2ea189945c2db6525c831c8fbe1c84222f46c8cd857a21132352f9d9c32fde781de6e5c6d43a58ec1e95e2450524ffda84b270aa0c24f2f500749546 +MISC metadata.xml 559 BLAKE2B cfdff3f58c4318542e3dd6ac9c98c826607441b11506ab0c2b0357701908c02a5b9e4496550fd81ffeed8b853598885230bf36118b4d36a49f191dfd83bece6d SHA512 fc19ef762da9b61820497c0febb3c5213c661aed64630f8235d06c895588743fa22dbe27930afe2790ee88c32e4744b4f4c44993ca0e251f98add7f5e66ee042 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..a83640e7e91d --- /dev/null +++ b/dev-java/checker-framework-qual/checker-framework-qual-3.14.0.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2022 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 ~arm ~arm64 ~ppc64" + +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..ca606ae4ec36 --- /dev/null +++ b/dev-java/checker-framework-qual/metadata.xml @@ -0,0 +1,16 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://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> |