Sync from SUSE:SLFO:Main checker-qual revision aa1381e8335a564676204123a5103a23
This commit is contained in:
commit
8eb859181c
23
.gitattributes
vendored
Normal file
23
.gitattributes
vendored
Normal file
@ -0,0 +1,23 @@
|
|||||||
|
## Default LFS
|
||||||
|
*.7z filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.bsp filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.bz2 filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.gem filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.gz filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.jar filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.lz filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.lzma filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.obscpio filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.oxt filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.pdf filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.png filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.rpm filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.tbz filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.tbz2 filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.tgz filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.ttf filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.txz filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.whl filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.xz filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.zip filter=lfs diff=lfs merge=lfs -text
|
||||||
|
*.zst filter=lfs diff=lfs merge=lfs -text
|
BIN
checker-framework-3.22.0.tar.gz
(Stored with Git LFS)
Normal file
BIN
checker-framework-3.22.0.tar.gz
(Stored with Git LFS)
Normal file
Binary file not shown.
47
checker-qual-3.22.0.pom
Normal file
47
checker-qual-3.22.0.pom
Normal file
@ -0,0 +1,47 @@
|
|||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
|
||||||
|
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
|
||||||
|
<!-- This module was also published with a richer model, Gradle metadata, -->
|
||||||
|
<!-- which should be used instead. Do not delete the following line which -->
|
||||||
|
<!-- is to indicate to Gradle or any Gradle module metadata file consumer -->
|
||||||
|
<!-- that they should prefer consuming it instead. -->
|
||||||
|
<!-- do_not_remove: published-with-gradle-metadata -->
|
||||||
|
<modelVersion>4.0.0</modelVersion>
|
||||||
|
<groupId>org.checkerframework</groupId>
|
||||||
|
<artifactId>checker-qual</artifactId>
|
||||||
|
<version>3.22.0</version>
|
||||||
|
<name>Checker Qual</name>
|
||||||
|
<description>checker-qual contains annotations (type qualifiers) that a programmer
|
||||||
|
writes to specify Java code for type-checking by the Checker Framework.
|
||||||
|
</description>
|
||||||
|
<url>https://checkerframework.org</url>
|
||||||
|
<licenses>
|
||||||
|
<license>
|
||||||
|
<name>The MIT License</name>
|
||||||
|
<url>http://opensource.org/licenses/MIT</url>
|
||||||
|
<distribution>repo</distribution>
|
||||||
|
</license>
|
||||||
|
</licenses>
|
||||||
|
<developers>
|
||||||
|
<developer>
|
||||||
|
<id>mernst</id>
|
||||||
|
<name>Michael Ernst</name>
|
||||||
|
<email>mernst@cs.washington.edu</email>
|
||||||
|
<url>https://homes.cs.washington.edu/~mernst/</url>
|
||||||
|
<organization>University of Washington</organization>
|
||||||
|
<organizationUrl>https://www.cs.washington.edu/</organizationUrl>
|
||||||
|
</developer>
|
||||||
|
<developer>
|
||||||
|
<id>smillst</id>
|
||||||
|
<name>Suzanne Millstein</name>
|
||||||
|
<email>smillst@cs.washington.edu</email>
|
||||||
|
<organization>University of Washington</organization>
|
||||||
|
<organizationUrl>https://www.cs.washington.edu/</organizationUrl>
|
||||||
|
</developer>
|
||||||
|
</developers>
|
||||||
|
<scm>
|
||||||
|
<connection>scm:git:git://github.com/typetools/checker-framework.git</connection>
|
||||||
|
<developerConnection>scm:git:ssh://git@github.com/typetools/checker-framework.git</developerConnection>
|
||||||
|
<url>https://github.com/typetools/checker-framework.git</url>
|
||||||
|
</scm>
|
||||||
|
</project>
|
112
checker-qual-build.xml
Normal file
112
checker-qual-build.xml
Normal file
File diff suppressed because one or more lines are too long
5
checker-qual.changes
Normal file
5
checker-qual.changes
Normal file
@ -0,0 +1,5 @@
|
|||||||
|
-------------------------------------------------------------------
|
||||||
|
Tue May 17 11:36:37 UTC 2022 - Fridrich Strba <fstrba@suse.com>
|
||||||
|
|
||||||
|
- Initial packaging of checkerframework's checker-qual annotations
|
||||||
|
3.22.0
|
74
checker-qual.spec
Normal file
74
checker-qual.spec
Normal file
@ -0,0 +1,74 @@
|
|||||||
|
#
|
||||||
|
# spec file for package j2objc-annotations
|
||||||
|
#
|
||||||
|
# Copyright (c) 2022 SUSE LLC
|
||||||
|
#
|
||||||
|
# All modifications and additions to the file contributed by third parties
|
||||||
|
# remain the property of their copyright owners, unless otherwise agreed
|
||||||
|
# upon. The license for this file, and modifications and additions to the
|
||||||
|
# file, is the same license as for the pristine package itself (unless the
|
||||||
|
# license for the pristine package is not an Open Source License, in which
|
||||||
|
# case the license is the MIT License). An "Open Source License" is a
|
||||||
|
# license that conforms to the Open Source Definition (Version 1.9)
|
||||||
|
# published by the Open Source Initiative.
|
||||||
|
|
||||||
|
# Please submit bugfixes or comments via https://bugs.opensuse.org/
|
||||||
|
#
|
||||||
|
|
||||||
|
|
||||||
|
Name: checker-qual
|
||||||
|
Version: 3.22.0
|
||||||
|
Release: 0
|
||||||
|
Summary: Checker Qual
|
||||||
|
License: MIT
|
||||||
|
Group: Development/Libraries/Java
|
||||||
|
URL: https://github.com/typetools/checker-framework
|
||||||
|
Source0: https://github.com/typetools/checker-framework/archive/refs/tags/checker-framework-%{version}.tar.gz
|
||||||
|
Source1: https://repo1.maven.org/maven2/org/checkerframework/%{name}/%{version}/%{name}-%{version}.pom
|
||||||
|
Source2: %{name}-build.xml
|
||||||
|
BuildRequires: ant
|
||||||
|
BuildRequires: fdupes
|
||||||
|
BuildRequires: java-devel >= 1.8 javapackages-local
|
||||||
|
BuildArch: noarch
|
||||||
|
|
||||||
|
%description
|
||||||
|
Checker Qual contains annotations (type qualifiers) that a programmer
|
||||||
|
writes to specify Java code for type-checking by the Checker Framework.
|
||||||
|
|
||||||
|
%package javadoc
|
||||||
|
Summary: API documentation for %{name}
|
||||||
|
Group: Documentation/HTML
|
||||||
|
|
||||||
|
%description javadoc
|
||||||
|
This package provides %{summary}.
|
||||||
|
|
||||||
|
%prep
|
||||||
|
%setup -q -n checker-framework-checker-framework-%{version}
|
||||||
|
cp %{SOURCE2} %{name}/build.xml
|
||||||
|
|
||||||
|
%build
|
||||||
|
pushd %{name}
|
||||||
|
%{ant} jar javadoc
|
||||||
|
popd
|
||||||
|
|
||||||
|
%install
|
||||||
|
# jars
|
||||||
|
install -d -m 0755 %{buildroot}%{_javadir}
|
||||||
|
install -p -m 0644 %{name}/target/%{name}-%{version}.jar %{buildroot}%{_javadir}/%{name}.jar
|
||||||
|
# pom
|
||||||
|
install -d -m 755 %{buildroot}%{_mavenpomdir}
|
||||||
|
install -pm 644 %{SOURCE1} %{buildroot}%{_mavenpomdir}/%{name}.pom
|
||||||
|
%add_maven_depmap %{name}.pom %{name}.jar
|
||||||
|
# javadoc
|
||||||
|
install -d -m 755 %{buildroot}%{_javadocdir}/%{name}
|
||||||
|
cp -pr %{name}/target/site/apidocs/* %{buildroot}%{_javadocdir}/%{name}
|
||||||
|
%fdupes -s %{buildroot}%{_javadocdir}
|
||||||
|
|
||||||
|
%files -f .mfiles
|
||||||
|
%license %{name}/LICENSE.txt
|
||||||
|
|
||||||
|
%files javadoc
|
||||||
|
%doc %{_javadocdir}/%{name}
|
||||||
|
%license %{name}/LICENSE.txt
|
||||||
|
|
||||||
|
%changelog
|
Loading…
Reference in New Issue
Block a user