openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File sat4j.spec of Package sat4j (Revision 0751950c09efc400506f3741f89488e8)

Currently displaying revision 0751950c09efc400506f3741f89488e8 , Show latest

#
# spec file for package sat4j
#
# Copyright (c) 2012 SUSE LINUX Products 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
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
BuildRequires:  ant
BuildRequires:  java-devel >= 1.7
Requires:       java >= 1.7
Requires:       jpackage-utils
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}
# Only used for the tests
rm lib/commons-cli.jar

%build
#ant -Drelease=%{version} -DBUILD_DATE=`LC_ALL=C date +'%Y%m%d'` p2 
ant -Dbuild.compiler=modern -Drelease=%{version} -DBUILD_DATE=%{qualifier} -Dtarget=1.7 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)

%clean
rm -rf %{buildroot}

%files
%defattr(-,root,root,-)
%{_javadir}/org.%{name}*.jar

%changelog

Places

File sat4j.spec of Package sat4j (Revision 0751950c09efc400506f3741f89488e8)

Places