|
 |
acdc02 |
%{?scl:%scl_package sat4j}
|
|
|
acdc02 |
%{!?scl:%global pkg_name %{name}}
|
|
|
acdc02 |
|
|
|
acdc02 |
%global eclipse_base %{_libdir}/eclipse
|
|
|
acdc02 |
|
|
|
acdc02 |
# should be consistent across one release
|
|
|
acdc02 |
%global build_date 20130530
|
|
|
acdc02 |
|
|
|
acdc02 |
Name: %{?scl_prefix}sat4j
|
|
|
acdc02 |
Version: 2.3.5
|
|
|
acdc02 |
Release: 1%{?dist}
|
|
|
acdc02 |
Summary: A library of SAT solvers written in Java
|
|
|
acdc02 |
|
|
|
acdc02 |
Group: Development/Libraries
|
|
|
acdc02 |
License: EPL or LGPLv2
|
|
|
acdc02 |
URL: http://www.sat4j.org/
|
|
|
acdc02 |
# Created by sh %{pkg_name}-fetch.sh
|
|
|
acdc02 |
Source0: %{pkg_name}-%{version}.tar.xz
|
|
|
acdc02 |
Source1: %{pkg_name}-fetch.sh
|
|
|
acdc02 |
Patch0: %{pkg_name}-classpath.patch
|
|
|
acdc02 |
BuildRoot: %{_tmppath}/%{pkg_name}-%{version}-%{release}-root-%(%{__id_u} -n)
|
|
|
acdc02 |
|
|
|
acdc02 |
BuildRequires: java-devel >= 1:1.6
|
|
|
acdc02 |
BuildRequires: ant
|
|
|
acdc02 |
BuildRequires: ecj
|
|
|
acdc02 |
Requires: java >= 1:1.6
|
|
|
acdc02 |
Requires: jpackage-utils
|
|
|
acdc02 |
%{?scl:Requires: %scl_runtime}
|
|
|
acdc02 |
|
|
|
acdc02 |
BuildArch: noarch
|
|
|
acdc02 |
|
|
|
acdc02 |
%description
|
|
|
acdc02 |
The aim of the SAT4J library is to provide an efficient library of SAT
|
|
|
acdc02 |
solvers in Java. The SAT4J library targets first users of SAT "black
|
|
|
acdc02 |
boxes", those willing to embed SAT technologies into their application
|
|
|
acdc02 |
without worrying about the details.
|
|
|
acdc02 |
|
|
|
acdc02 |
%prep
|
|
|
acdc02 |
%setup -q -n %{pkg_name}-%{version}
|
|
|
acdc02 |
%patch0
|
|
|
acdc02 |
|
|
|
acdc02 |
pushd lib
|
|
|
acdc02 |
ln -s /usr/share/java/commons-beanutils.jar
|
|
|
acdc02 |
ln -s /usr/share/java/commons-logging.jar
|
|
|
acdc02 |
ln -s /usr/share/java/mockito.jar mockito-all-1.9.5.jar
|
|
|
acdc02 |
popd
|
|
|
acdc02 |
|
|
|
acdc02 |
%build
|
|
|
acdc02 |
ant -Dbuild.compiler=modern -Drelease=%{version} \
|
|
|
acdc02 |
-Dtarget=1.5 -DBUILD_DATE=%{build_date} p2
|
|
|
acdc02 |
|
|
|
acdc02 |
%install
|
|
|
acdc02 |
rm -rf $RPM_BUILD_ROOT
|
|
|
acdc02 |
install -d -m 755 $RPM_BUILD_ROOT%{_javadir}
|
|
|
acdc02 |
cp -rp dist/%{version}/org.sat4j.core.jar \
|
|
|
acdc02 |
$RPM_BUILD_ROOT%{_javadir}
|
|
|
acdc02 |
cp -rp dist/%{version}/org.sat4j.pb.jar \
|
|
|
acdc02 |
$RPM_BUILD_ROOT%{_javadir}
|
|
|
acdc02 |
|
|
|
acdc02 |
%clean
|
|
|
acdc02 |
rm -rf $RPM_BUILD_ROOT
|
|
|
acdc02 |
|
|
|
acdc02 |
%files
|
|
|
acdc02 |
%defattr(-,root,root,-)
|
|
|
acdc02 |
# No %%doc files as the about.html is in the jar
|
|
|
acdc02 |
%{_javadir}/org.sat4j*
|
|
|
acdc02 |
|
|
|
acdc02 |
%changelog
|
|
|
acdc02 |
* Thu May 30 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.5-1
|
|
|
acdc02 |
- Update to latest upstream.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Tue May 21 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.4-1
|
|
|
acdc02 |
- Rebase to latest f19 version.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Wed Apr 17 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.3-7
|
|
|
acdc02 |
- Remove jars from source.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Fri Apr 5 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.0-6
|
|
|
acdc02 |
- Update to 2.3.3
|
|
|
acdc02 |
- Initial sclization.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-5
|
|
|
acdc02 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
acdc02 |
|
|
|
acdc02 |
* Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-4
|
|
|
acdc02 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
acdc02 |
|
|
|
acdc02 |
* Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-3
|
|
|
acdc02 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
|
|
|
acdc02 |
|
|
|
acdc02 |
* Thu Aug 25 2011 Andrew Overholt <overholt@redhat.com> 2.3.0-2
|
|
|
acdc02 |
- Make 1.5-level bytecode. This enables bootstrapping of Eclipse
|
|
|
acdc02 |
with OpenJDK 7.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Mon Apr 04 2011 Chris Aniszczyk <zx@redhat.com> 2.3.0-1
|
|
|
acdc02 |
- Update to 2.3.0.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.2.0-2
|
|
|
acdc02 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
|
|
|
acdc02 |
|
|
|
acdc02 |
* Thu Jul 8 2010 Alexander Kurtakov <akurtako@redhat.com> 2.2.0-1
|
|
|
acdc02 |
- Update to 2.2.0.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Tue Mar 30 2010 Andrew Overholt <overholt@redhat.com> 2.1.1-3
|
|
|
acdc02 |
- Fix license tag
|
|
|
acdc02 |
|
|
|
acdc02 |
* Fri Mar 26 2010 Alexander Kurtakov <akurtako@redhat.com> 2.1.1-2
|
|
|
acdc02 |
- Switch to lzma tarball.
|
|
|
acdc02 |
- Remove classpath in manifest.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Sun Mar 7 2010 Alexander Kurtakov <akurtako@redhat.com> 2.1.1-1
|
|
|
acdc02 |
- Update to 2.1.1.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Tue Aug 4 2009 Alexander Kurtakov <akurtako@redhat.com> 2.1.0-1
|
|
|
acdc02 |
- Update to 2.1.0 final.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Wed Apr 8 2009 Alexander Kurtakov <akurtako@redhat.com> 2.1.0-0.1.rc2
|
|
|
acdc02 |
- Update to 2.1.0.RC2.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Thu Feb 26 2009 Alexander Kurtakov <akurtako@redhat.com> 2.0.3-1
|
|
|
acdc02 |
- Update to 2.0.3.
|
|
|
acdc02 |
|
|
|
acdc02 |
* Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0.0-8
|
|
|
acdc02 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
|
|
|
acdc02 |
|
|
|
acdc02 |
* Thu Aug 28 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-7
|
|
|
acdc02 |
- eclipse_base is now libdir/eclipse
|
|
|
acdc02 |
|
|
|
acdc02 |
* Tue Jul 15 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-6
|
|
|
acdc02 |
- Build with OpenJDK (java.util.Scanner)
|
|
|
acdc02 |
|
|
|
acdc02 |
* Tue Jul 15 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-5
|
|
|
acdc02 |
- Use sed instead of dos2unix
|
|
|
acdc02 |
|
|
|
acdc02 |
* Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-4
|
|
|
acdc02 |
- Remove jmock JARs
|
|
|
acdc02 |
- Don't run tests as part of build
|
|
|
acdc02 |
|
|
|
acdc02 |
* Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-3
|
|
|
acdc02 |
- Remove Class-Path from pb MANIFEST.MF
|
|
|
acdc02 |
|
|
|
acdc02 |
* Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-2
|
|
|
acdc02 |
- Add eclipse-pde BR for pdebuild script
|
|
|
acdc02 |
|
|
|
acdc02 |
* Fri Jun 27 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-1
|
|
|
acdc02 |
- 2.0.0
|
|
|
acdc02 |
- Run tests
|
|
|
acdc02 |
|
|
|
acdc02 |
* Thu Mar 13 2008 Andrew Overholt <overholt@redhat.com> 2.0-0.1.RC5
|
|
|
acdc02 |
- Initial version
|