forked from pool/sat4j
Gus Kenion
527c46319a
OBS-URL: https://build.opensuse.org/package/show/Java:packages/sat4j?expand=0&rev=29
71 lines
2.4 KiB
RPMSpec
71 lines
2.4 KiB
RPMSpec
#
|
|
# spec file for package sat4j
|
|
#
|
|
# Copyright (c) 2024 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/
|
|
#
|
|
|
|
|
|
%define eclipse_base %{_libdir}/eclipse
|
|
# We want the version to match that shipped in Eclipse's Orbit project
|
|
%define qualifier 20181123
|
|
Name: sat4j
|
|
Version: 2.3.5
|
|
Release: 0
|
|
Summary: A library of SAT solvers written in Java
|
|
License: EPL-1.0 AND LGPL-2.0-only
|
|
Group: Development/Libraries/Java
|
|
URL: https://www.sat4j.org/
|
|
Source0: %{name}-%{version}.tar.xz
|
|
Patch0: sat4j-sourcetarget.patch
|
|
Patch1: sat4j-manifest.patch
|
|
BuildRequires: ant
|
|
BuildRequires: java-devel >= 1.8
|
|
BuildRequires: javapackages-local >= 6
|
|
Requires: java >= 1.8
|
|
BuildArch: noarch
|
|
|
|
%description
|
|
The aim of the SAT4J library is to provide an efficient library of SAT
|
|
solvers in Java. The SAT4J library targets first users of SAT "black
|
|
boxes", those willing to embed SAT technologies into their application
|
|
without worrying about the details.
|
|
|
|
%prep
|
|
%setup -q
|
|
%patch -P 0 -p1
|
|
%patch -P 1 -p1
|
|
|
|
%pom_xpath_remove "pom:dependency[pom:type[text()='test-jar']]" org.sat4j.pb
|
|
|
|
%build
|
|
ant \
|
|
-Dbuild.compiler=modern -Drelease=%{version} \
|
|
-DBUILD_DATE=%{qualifier} -Dsource=1.8 -Dtarget=1.8 p2
|
|
|
|
%install
|
|
#jar
|
|
install -d -m 755 %{buildroot}%{_javadir}
|
|
install -m 0644 dist/%{version}/org.sat4j.core.jar %{buildroot}%{_javadir}/org.sat4j.core.jar
|
|
install -m 0644 dist/%{version}/org.sat4j.pb.jar %{buildroot}%{_javadir}/org.sat4j.pb.jar
|
|
#pom
|
|
install -d -m 755 %{buildroot}%{_mavenpomdir}
|
|
%{mvn_install_pom} org.sat4j.core/pom.xml %{buildroot}%{_mavenpomdir}/org.sat4j.core.pom
|
|
%add_maven_depmap org.sat4j.core.pom org.sat4j.core.jar
|
|
%{mvn_install_pom} org.sat4j.pb/pom.xml %{buildroot}%{_mavenpomdir}/org.sat4j.pb.pom
|
|
%add_maven_depmap org.sat4j.pb.pom org.sat4j.pb.jar
|
|
|
|
%files -f .mfiles
|
|
|
|
%changelog
|