From 2d0df60529a13d0c118b1968c3902bb3b1fad65c Mon Sep 17 00:00:00 2001 From: CentOS Sources Date: Thu, 6 Feb 2020 11:50:48 -0500 Subject: [PATCH] import sat4j-2.3.5-15.module+el8.1.1+4657+f90e8085 --- .gitignore | 1 + .sat4j.metadata | 1 + SOURCES/sat4j-classpath.patch | 8 ++ SOURCES/sat4j-fetch.sh | 16 ++++ SPECS/sat4j.spec | 171 ++++++++++++++++++++++++++++++++++ 5 files changed, 197 insertions(+) create mode 100644 .gitignore create mode 100644 .sat4j.metadata create mode 100644 SOURCES/sat4j-classpath.patch create mode 100755 SOURCES/sat4j-fetch.sh create mode 100644 SPECS/sat4j.spec 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/.sat4j.metadata b/.sat4j.metadata new file mode 100644 index 0000000..970e9c5 --- /dev/null +++ b/.sat4j.metadata @@ -0,0 +1 @@ +ab9d5a51c096e395c1db9daa887c5736cdbdff2f SOURCES/sat4j-2.3.5.tar.xz 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..f370a60 --- /dev/null +++ b/SPECS/sat4j.spec @@ -0,0 +1,171 @@ +# should be consistent across one release +%global build_date 20130405 + +Name: sat4j +Version: 2.3.5 +Release: 15%{?dist} +Summary: A library of SAT solvers written in Java + +License: EPL-1.0 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: ant +BuildRequires: javapackages-local + +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 sat4j-%{version} +%patch0 + +%build +ant -Dbuild.compiler=modern -Drelease=%{version} \ + -Dtarget=1.5 -DBUILD_DATE=%{build_date} p2 + +%mvn_artifact "org.ow2.sat4j:org.ow2.sat4j.core::%{version}" dist/%{version}/org.sat4j.core.jar +%mvn_artifact "org.ow2.sat4j:org.ow2.sat4j.pb::%{version}" dist/%{version}/org.sat4j.pb.jar +%mvn_file ":org.ow2.sat4j.core" org.sat4j.core +%mvn_file ":org.ow2.sat4j.pb" org.sat4j.pb + +%install +%mvn_install + +%files -f .mfiles +# No %%doc files as the about.html is in the jar + +%changelog +* Tue Jun 11 2019 Mat Booth - 2.3.5-15 +- Fix license tag + +* Sat Feb 02 2019 Fedora Release Engineering - 2.3.5-14 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild + +* Sat Jul 14 2018 Fedora Release Engineering - 2.3.5-13 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild + +* Fri Feb 09 2018 Fedora Release Engineering - 2.3.5-12 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild + +* Thu Jul 27 2017 Fedora Release Engineering - 2.3.5-11 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild + +* Tue Jun 20 2017 Mat Booth - 2.3.5-10 +- Install with xmvn + +* Sat Feb 11 2017 Fedora Release Engineering - 2.3.5-9 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild + +* Thu Feb 04 2016 Fedora Release Engineering - 2.3.5-8 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + +* Tue Jul 14 2015 Mikolaj Izdebski - 2.3.5-7 +- Add build-requires on javapackages-local + +* 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