automatic import of checker-qual

3 files changed, 79 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..d8f24ec 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/checker-qual-4.3.2.tar.gz
diff --git a/checker-qual.spec b/checker-qual.spec
new file mode 100644
index 0000000..7b44c9c
--- /dev/null
+++ b/checker-qual.spec
@@ -0,0 +1,77 @@
+%global debug_package %{nil}
+
+Name:           checker-qual
+Version:        4.3.2
+Release:        1%{?dist}
+Summary:        Java annotations (type qualifiers) for the Checker Framework
+BuildArch:      noarch
+License:        MIT
+URL:            https://checkerframework.org/
+Source0:        https://github.com/typetools/checker-framework/archive/refs/tags/checker-framework-%{version}.tar.gz#/checker-qual-%{version}.tar.gz
+
+BuildRequires:  maven-local
+BuildRequires:  java-17-openjdk-devel
+
+%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:        Javadoc for %{name}
+%description javadoc
+API documentation for %{name}.
+
+%prep
+%autosetup -n %{name}-%{version}
+cp -p checker-qual/LICENSE.txt LICENSE.txt
+
+# The upstream project is a Gradle multi-module build.  Only the checker-qual
+# sub-module is packaged here; it is a pure Java annotations module with no
+# external compile-time dependencies.  Generate a minimal Maven POM so that
+# xmvn can build and install it, providing mvn(org.checkerframework:checker-qual).
+cat > pom.xml <<'EOF'
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+  <modelVersion>4.0.0</modelVersion>
+  <groupId>org.checkerframework</groupId>
+  <artifactId>checker-qual</artifactId>
+  <version>4.3.2</version>
+  <packaging>jar</packaging>
+  <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>MIT</name>
+      <url>https://opensource.org/licenses/MIT</url>
+      <distribution>repo</distribution>
+    </license>
+  </licenses>
+  <properties>
+    <maven.compiler.release>11</maven.compiler.release>
+    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+  </properties>
+  <build>
+    <sourceDirectory>checker-qual/src/main/java</sourceDirectory>
+  </build>
+</project>
+EOF
+
+%build
+%mvn_build -f
+
+%install
+%mvn_install
+
+%files -f .mfiles
+%license LICENSE.txt
+%doc README.md
+
+%files javadoc -f .mfiles-javadoc
+%license LICENSE.txt
+
+%changelog
+* Mon Nov 02 2026 openEuler Build <build@openeuler.org> - 4.3.2-1
+- Initial package
diff --git a/sources b/sources
new file mode 100644
index 0000000..09c6a14
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+2c3e298d2af3d5ae4943ef0378274081  checker-qual-4.3.2.tar.gz