From acdc02bf4b6e8fcf34e73deabad8d8bfdcf8353e Mon Sep 17 00:00:00 2001 From: CentOS Sources Date: Oct 30 2014 09:36:54 +0000 Subject: import devtoolset-3-sat4j-2.3.5-1.el7 --- diff --git a/.devtoolset-3-sat4j.metadata b/.devtoolset-3-sat4j.metadata new file mode 100644 index 0000000..970e9c5 --- /dev/null +++ b/.devtoolset-3-sat4j.metadata @@ -0,0 +1 @@ +ab9d5a51c096e395c1db9daa887c5736cdbdff2f SOURCES/sat4j-2.3.5.tar.xz diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..442f3a0 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +SOURCES/sat4j-2.3.5.tar.xz diff --git a/README.md b/README.md deleted file mode 100644 index 98f42b4..0000000 --- a/README.md +++ /dev/null @@ -1,4 +0,0 @@ -The master branch has no content - -Look at the c7 branch if you are working with CentOS-7, or the c4/c5/c6 branch for CentOS-4, 5 or 6 -If you find this file in a distro specific branch, it means that no content has been checked in yet diff --git a/SOURCES/sat4j-classpath.patch b/SOURCES/sat4j-classpath.patch new file mode 100644 index 0000000..219bd88 --- /dev/null +++ b/SOURCES/sat4j-classpath.patch @@ -0,0 +1,8 @@ +--- org.sat4j.pb/META-INF/MANIFEST.MF.sav 2010-03-26 15:20:38.390630122 +0200 ++++ org.sat4j.pb/META-INF/MANIFEST.MF 2010-03-26 15:20:50.549378523 +0200 +@@ -21,5 +21,4 @@ Specification-Vendor: Daniel Le Berre + Implementation-Title: SAT4J + Implementation-Version: 9.9.9.token + Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois +-Class-Path: org.sat4j.core.jar + Bundle-RequiredExecutionEnvironment: J2SE-1.5 diff --git a/SOURCES/sat4j-fetch.sh b/SOURCES/sat4j-fetch.sh new file mode 100755 index 0000000..9c134d6 --- /dev/null +++ b/SOURCES/sat4j-fetch.sh @@ -0,0 +1,16 @@ +#!/bin/sh +name=sat4j +tag=org.ow2.sat4j.pom-2.3.5 +version=2.3.5 +tar_name=$name-$version + +rm -fr $tar_name && mkdir $tar_name +pushd $tar_name + +# Fetch plugins +svn co svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/$tag . +find . -name *.jar -delete + +popd +# create archive +tar -caf $tar_name.tar.xz $tar_name diff --git a/SPECS/sat4j.spec b/SPECS/sat4j.spec new file mode 100644 index 0000000..342ebc5 --- /dev/null +++ b/SPECS/sat4j.spec @@ -0,0 +1,150 @@ +%{?scl:%scl_package sat4j} +%{!?scl:%global pkg_name %{name}} + +%global eclipse_base %{_libdir}/eclipse + +# should be consistent across one release +%global build_date 20130530 + +Name: %{?scl_prefix}sat4j +Version: 2.3.5 +Release: 1%{?dist} +Summary: A library of SAT solvers written in Java + +Group: Development/Libraries +License: EPL or LGPLv2 +URL: http://www.sat4j.org/ +# Created by sh %{pkg_name}-fetch.sh +Source0: %{pkg_name}-%{version}.tar.xz +Source1: %{pkg_name}-fetch.sh +Patch0: %{pkg_name}-classpath.patch +BuildRoot: %{_tmppath}/%{pkg_name}-%{version}-%{release}-root-%(%{__id_u} -n) + +BuildRequires: java-devel >= 1:1.6 +BuildRequires: ant +BuildRequires: ecj +Requires: java >= 1:1.6 +Requires: jpackage-utils +%{?scl:Requires: %scl_runtime} + +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 %{pkg_name}-%{version} +%patch0 + +pushd lib + ln -s /usr/share/java/commons-beanutils.jar + ln -s /usr/share/java/commons-logging.jar + ln -s /usr/share/java/mockito.jar mockito-all-1.9.5.jar +popd + +%build +ant -Dbuild.compiler=modern -Drelease=%{version} \ + -Dtarget=1.5 -DBUILD_DATE=%{build_date} p2 + +%install +rm -rf $RPM_BUILD_ROOT +install -d -m 755 $RPM_BUILD_ROOT%{_javadir} +cp -rp dist/%{version}/org.sat4j.core.jar \ + $RPM_BUILD_ROOT%{_javadir} +cp -rp dist/%{version}/org.sat4j.pb.jar \ + $RPM_BUILD_ROOT%{_javadir} + +%clean +rm -rf $RPM_BUILD_ROOT + +%files +%defattr(-,root,root,-) +# No %%doc files as the about.html is in the jar +%{_javadir}/org.sat4j* + +%changelog +* Thu May 30 2013 Krzysztof Daniel 2.3.5-1 +- Update to latest upstream. + +* Tue May 21 2013 Krzysztof Daniel 2.3.4-1 +- Rebase to latest f19 version. + +* Wed Apr 17 2013 Krzysztof Daniel 2.3.3-7 +- Remove jars from source. + +* Fri Apr 5 2013 Krzysztof Daniel 2.3.0-6 +- Update to 2.3.3 +- Initial sclization. + +* Thu Feb 14 2013 Fedora Release Engineering - 2.3.0-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild + +* Sat Jul 21 2012 Fedora Release Engineering - 2.3.0-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild + +* Sat Jan 14 2012 Fedora Release Engineering - 2.3.0-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild + +* Thu Aug 25 2011 Andrew Overholt 2.3.0-2 +- Make 1.5-level bytecode. This enables bootstrapping of Eclipse + with OpenJDK 7. + +* Mon Apr 04 2011 Chris Aniszczyk 2.3.0-1 +- Update to 2.3.0. + +* Wed Feb 09 2011 Fedora Release Engineering - 2.2.0-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild + +* Thu Jul 8 2010 Alexander Kurtakov 2.2.0-1 +- Update to 2.2.0. + +* Tue Mar 30 2010 Andrew Overholt 2.1.1-3 +- Fix license tag + +* Fri Mar 26 2010 Alexander Kurtakov 2.1.1-2 +- Switch to lzma tarball. +- Remove classpath in manifest. + +* Sun Mar 7 2010 Alexander Kurtakov 2.1.1-1 +- Update to 2.1.1. + +* Tue Aug 4 2009 Alexander Kurtakov 2.1.0-1 +- Update to 2.1.0 final. + +* Wed Apr 8 2009 Alexander Kurtakov 2.1.0-0.1.rc2 +- Update to 2.1.0.RC2. + +* Thu Feb 26 2009 Alexander Kurtakov 2.0.3-1 +- Update to 2.0.3. + +* Wed Feb 25 2009 Fedora Release Engineering - 2.0.0-8 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild + +* Thu Aug 28 2008 Andrew Overholt 2.0.0-7 +- eclipse_base is now libdir/eclipse + +* Tue Jul 15 2008 Andrew Overholt 2.0.0-6 +- Build with OpenJDK (java.util.Scanner) + +* Tue Jul 15 2008 Andrew Overholt 2.0.0-5 +- Use sed instead of dos2unix + +* Mon Jul 14 2008 Andrew Overholt 2.0.0-4 +- Remove jmock JARs +- Don't run tests as part of build + +* Mon Jul 14 2008 Andrew Overholt 2.0.0-3 +- Remove Class-Path from pb MANIFEST.MF + +* Mon Jul 14 2008 Andrew Overholt 2.0.0-2 +- Add eclipse-pde BR for pdebuild script + +* Fri Jun 27 2008 Andrew Overholt 2.0.0-1 +- 2.0.0 +- Run tests + +* Thu Mar 13 2008 Andrew Overholt 2.0-0.1.RC5 +- Initial version