packages: java-sat4j/java-sat4j.spec (NEW), java-sat4j/sat4j-fetch.sh (NEW)...

[baggins]

Author: baggins                      Date: Wed Nov 24 18:15:51 2010 GMT
Module: packages                      Tag: HEAD
---- Log message:
- initial revison
- we have to fetch sources fedora-way cause distribution of this projest sucks

---- Files affected:
packages/java-sat4j:
   java-sat4j.spec (NONE -> 1.1)  (NEW), sat4j-fetch.sh (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: packages/java-sat4j/java-sat4j.spec
diff -u /dev/null packages/java-sat4j/java-sat4j.spec:1.1
--- /dev/null	Wed Nov 24 19:15:51 2010
+++ packages/java-sat4j/java-sat4j.spec	Wed Nov 24 19:15:45 2010
@@ -0,0 +1,72 @@
+# $Revision$, $Date$
+#
+# Conditional build:
+%bcond_without	javadoc		# don't build javadoc
+%bcond_without	source		# don't build source jar
+%bcond_without	tests		# don't build and run tests
+
+%include	/usr/lib/rpm/macros.java
+
+# We want the version to match that shipped in Eclipse's Orbit project
+%define		eclipsedate	20100429
+
+%define		srcname		sat4j
+Summary:	A library of SAT solvers written in Java
+Name:		java-%{srcname}
+Version:	2.2.0
+Release:	0.1
+License:	EPL or LGPLv2
+Group:		Libraries/Java
+Source0:	%{srcname}-%{version}.tar.xz
+# Source0-md5:	7f11f90302bbf8091c5c7b6e179df2bd
+Source1:	%{srcname}-fetch.sh
+URL:		http://www.sat4j.org/
+BuildRequires:  ant
+BuildRequires:	jpackage-utils
+BuildRequires:	rpm-javaprov
+BuildRequires:	rpmbuild(macros) >= 1.300
+BuildRequires:	sed >= 4.0
+Requires:	jpackage-utils
+BuildArch:	noarch
+BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%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 %{srcname}-%{version}
+
+%build
+export JAVA_HOME="%{java_home}"
+
+%ant -Dbuild.compiler=modern -Drelease=%{version} -DBUILD_DATE=%{eclipsedate} p2 
+
+%install
+rm -rf $RPM_BUILD_ROOT
+install -d $RPM_BUILD_ROOT%{_javadir}
+
+cp -a dist/%{version}/org.sat4j.core.jar $RPM_BUILD_ROOT%{_javadir}
+cp -a dist/%{version}/org.sat4j.pb.jar $RPM_BUILD_ROOT%{_javadir}
+cp -a dist/%{version}/sat4j-pb.jar $RPM_BUILD_ROOT%{_javadir}
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%doc README
+%{_javadir}/*.jar
+
+%define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
+%changelog
+* %{date} PLD Team <feedback at pld-linux.org>
+All persons listed below can be reached at <cvs_login>@pld-linux.org
+
+$Log$
+Revision 1.1  2010/11/24 18:15:45  baggins
+- initial revison
+- we have to fetch sources fedora-way cause distribution of this projest sucks
+

================================================================
Index: packages/java-sat4j/sat4j-fetch.sh
diff -u /dev/null packages/java-sat4j/sat4j-fetch.sh:1.1
--- /dev/null	Wed Nov 24 19:15:51 2010
+++ packages/java-sat4j/sat4j-fetch.sh	Wed Nov 24 19:15:45 2010
@@ -0,0 +1,16 @@
+#!/bin/sh
+name=sat4j
+#tag=ECLIPSE_3_6
+tag=org.sat4j.pom-2.2.0
+version=2.2.0
+tar_name=$name-$version
+
+rm -fr $tar_name && mkdir $tar_name
+cd $tar_name
+
+# Fetch plugins
+svn co svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/$tag .
+
+cd -
+# create archive
+tar -caf $tar_name.tar.xz $tar_name
================================================================