openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File sat4j.spec of Package sat4j (Revision c9cb3894824cf3c9b38fbfa2c0d9a6a0)

Currently displaying revision c9cb3894824cf3c9b38fbfa2c0d9a6a0 , Show latest

#
# spec file for package sat4j
#
# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# 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 http://bugs.opensuse.org/
#

%define eclipse_base %{_libdir}/eclipse
# We want the version to match that shipped in Eclipse's Orbit project
%define qualifier 20120709
Name:           sat4j
Version:        2.3.2
Release:        0
Summary:        A library of SAT solvers written in Java
License:        EPL-1.0 AND LGPL-2.0
Group:          Development/Libraries/Java
Url:            http://www.sat4j.org/
# svn co svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.3.2
Source0:        %{name}-%{version}.tar.bz2
Patch0:         sat4j-sourcetarget.patch
Patch1:         sat4j-manifest.patch
BuildRequires:  ant
Requires:       java
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 -n org.%{name}.pom-%{version}
%patch0 -p1
%patch1 -p1
# Only used for the tests
rm lib/commons-cli.jar

%build
ant \
    -Dbuild.compiler=modern -Drelease=%{version} \
	-DBUILD_DATE=%{qualifier} -Dsource=1.6 -Dtarget=1.6 p2

%install
install -d -m 755 %{buildroot}%{_javadir}
install -m 0644 dist/%{version}/org.sat4j.core.jar %{buildroot}%{_javadir}/org.sat4j.core-%{version}.jar
install -m 0644 dist/%{version}/org.sat4j.pb.jar   %{buildroot}%{_javadir}/org.sat4j.pb-%{version}.jar
(cd %{buildroot}%{_javadir}/ && for jar in *-%{version}*; do ln -sf ${jar} ${jar/-%{version}/}; done)

%files
%{_javadir}/org.%{name}*.jar

%changelog

Places

File sat4j.spec of Package sat4j (Revision c9cb3894824cf3c9b38fbfa2c0d9a6a0)

Places