%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
# maven-local pulls in the java-1.8.0-devel stack and openEuler's alternatives
# give java-1.8.0-openjdk a far higher priority than java-17-openjdk, so the
# default javac is JDK 8.  maven-compiler-plugin turns
# maven.compiler.release into --release, which JDK 8 javac rejects
# ("invalid flag: --release").  Force the JDK 17 required above.
JAVA_HOME=""
for jdk in /usr/lib/jvm/java-17-openjdk-*/ /usr/lib/jvm/java-17-openjdk; do
    if [ -x "$jdk/bin/javac" ]; then
        JAVA_HOME="${jdk%/}"
        break
    fi
done
export JAVA_HOME
export PATH="$JAVA_HOME/bin:$PATH"
%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