diff --git a/.devtoolset-4-sat4j.metadata b/.devtoolset-4-sat4j.metadata new file mode 100644 index 0000000..970e9c5 --- /dev/null +++ b/.devtoolset-4-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..050c5be --- /dev/null +++ b/SPECS/sat4j.spec @@ -0,0 +1,160 @@ +%{?scl:%scl_package sat4j} +%{!?scl:%global pkg_name %{name}} +%{?java_common_find_provides_and_requires} + +# should be consistent across one release +%global build_date 20130405 + +Name: %{?scl_prefix}sat4j +Version: 2.3.5 +Release: 6.1%{?dist} +Summary: A library of SAT solvers written in Java + +License: EPL or LGPLv2 +URL: http://www.sat4j.org/ +# Created by sh sat4j-fetch.sh +Source0: sat4j-%{version}.tar.xz +Source1: sat4j-fetch.sh +Patch0: sat4j-classpath.patch + +BuildRequires: %{?scl_prefix_java_common}ant +Requires: %{?scl_prefix_java_common}javapackages-tools + +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 +%{?scl:scl enable %{scl_maven} %{scl} - << "EOF"} +%setup -q -n sat4j-%{version} +%patch0 +%{?scl:EOF} + + +%build +%{?scl:scl enable %{scl_maven} %{scl} - << "EOF"} +ant -Dbuild.compiler=modern -Drelease=%{version} \ + -Dtarget=1.5 -DBUILD_DATE=%{build_date} p2 +%{?scl:EOF} + + +%install +%{?scl:scl enable %{scl_maven} %{scl} - << "EOF"} +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} +%{?scl:EOF} + + +%files +# No %%doc files as the about.html is in the jar +%{_javadir}/org.sat4j* + +%changelog +* Tue Jun 23 2015 Mat Booth - 2.3.5-6.1 +- Import latest from Fedora + +* Mon Jun 22 2015 Mat Booth - 2.3.5-6 +- Remove SCL macros and tidy spec + +* Fri Jun 19 2015 Fedora Release Engineering - 2.3.5-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild + +* Sun Jun 08 2014 Fedora Release Engineering - 2.3.5-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild + +* Fri Feb 21 2014 Alexander Kurtakov 2.3.5-3 +- Remove useless parts. +- Require java-headless. + +* Sun Aug 04 2013 Fedora Release Engineering - 2.3.5-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild + +* Wed May 29 2013 Krzysztof Daniel 2.3.5-1 +- Update to latest upstream. + +* Fri May 10 2013 Krzysztof Daniel 2.3.4-1 +- Update to latest upstream. + +* 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 \ No newline at end of file