From 6e2af84d4b5259f06d7ac4c66268d2c6e8a28004 Mon Sep 17 00:00:00 2001 From: Alexander Kurtakov Date: Jul 08 2010 13:34:13 +0000 Subject: - Update to 2.2.0. --- diff --git a/.cvsignore b/.cvsignore index 1fbec82..41364b8 100644 --- a/.cvsignore +++ b/.cvsignore @@ -5,3 +5,4 @@ sat4j-2.1.0.RC2.tar.bz2 sat4j-2.1.0.tar.bz2 sat4j-2.1.1.tar.bz2 sat4j-2.1.1.tar.lzma +sat4j-2.2.0.tar.xz diff --git a/sat4j-fetch.sh b/sat4j-fetch.sh index a82f3f1..73c0708 100644 --- a/sat4j-fetch.sh +++ b/sat4j-fetch.sh @@ -1,7 +1,7 @@ #!/bin/sh name=sat4j -tag=2_1_1 -version=2.1.1 +tag=ECLIPSE_3_6 +version=2.2.0 tar_name=$name-$version rm -fr $tar_name && mkdir $tar_name @@ -12,4 +12,4 @@ svn co svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/$tag . popd # create archive -tar -caf $tar_name.tar.lzma $tar_name +tar -caf $tar_name.tar.xz $tar_name diff --git a/sat4j.spec b/sat4j.spec index d0b6799..76f7ac0 100644 --- a/sat4j.spec +++ b/sat4j.spec @@ -1,17 +1,17 @@ -%define eclipse_base %{_libdir}/eclipse +%global eclipse_base %{_libdir}/eclipse # We want the version to match that shipped in Eclipse's Orbit project -%define qualifier 20090825 +%global qualifier 20100429 Name: sat4j -Version: 2.1.1 -Release: 3%{?dist} +Version: 2.2.0 +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 %{name}-fetch.sh -Source0: %{name}-%{version}.tar.lzma +Source0: %{name}-%{version}.tar.xz Source1: %{name}-fetch.sh Patch0: %{name}-classpath.patch BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) @@ -57,6 +57,9 @@ rm -rf $RPM_BUILD_ROOT %{_javadir}/org.sat4j* %changelog +* 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 diff --git a/sources b/sources index 17c5a23..7f954db 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -8da25ea552baa3e7fc47974aafc0efbc sat4j-2.1.1.tar.lzma +5bbf217038fd9b1df5178a588ca1d2c9 sat4j-2.2.0.tar.xz