Get the eclipse ebuild from the java overlay, and clean it up just a little

svn path=/trunk/overlay/; revision=77

6 files changed, 151 insertions, 0 deletions

diff --git a/dev-java/sat4j-core/ChangeLog b/dev-java/sat4j-core/ChangeLog
new file mode 100644
index 0000000..ba15fd3
--- /dev/null
+++ b/dev-java/sat4j-core/ChangeLog
@@ -0,0 +1,12 @@
+# ChangeLog for dev-java/sat4j-core
+# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+  03 Sep 2008; Alistair Bush <ali_bush@gentoo.org> sat4j-core-2.0.1.ebuild:
+  Fixing doc installation.
+
+*sat4j-core-2.0.1 (25 Jul 2008)
+
+  25 Jul 2008; James Le Cuirot <chewi@aura-online.co.uk>
+  +sat4j-core-2.0.1.ebuild:
+  Added.
diff --git a/dev-java/sat4j-core/Manifest b/dev-java/sat4j-core/Manifest
new file mode 100644
index 0000000..a9c998d
--- /dev/null
+++ b/dev-java/sat4j-core/Manifest
@@ -0,0 +1,4 @@
+DIST build-2.4.xml 9458 RMD160 a42173b5390cbf8027d180eb8d857cbae124e29b SHA1 70ce855116615e1e13283e00dd2e20eeae2d5447 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8
+DIST sat4j-core-v20080622.zip 351856 RMD160 1dd050afc4f871e5c183f5df5ccf035928e7b34f SHA1 411c3a89bb07782b3b75f32292d4609a41827326 SHA256 3248597350666f919fa488c113a124530acb55af44bcdd35e93098c7b9b72221
+EBUILD sat4j-core-2.0.1.ebuild 1340 RMD160 3683d87d9db7dfb42b4575eb230a14d434519d57 SHA1 3cdbf2544c974bc427d9cd22829a099f35b424c3 SHA256 26c17a12e26229b8824de7e6f1bd2c4123062bb175910132d6e90fc012b59030
+MISC ChangeLog 351 RMD160 f23c17ef5cb077b147558211f1dec889939779f8 SHA1 058a7d7e17e84d898866c0764a8acedc03f8663b SHA256 6ae0aeaae2196387135a27c10efed81e1af2962c1e83d971f248f5bef069614f
diff --git a/dev-java/sat4j-core/sat4j-core-2.0.1.ebuild b/dev-java/sat4j-core/sat4j-core-2.0.1.ebuild
new file mode 100644
index 0000000..12aa87b
--- /dev/null
+++ b/dev-java/sat4j-core/sat4j-core-2.0.1.ebuild
@@ -0,0 +1,52 @@
+# Copyright 1999-2008 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+MY_PN="org.${PN//-/.}"
+MY_PV="20080622"
+BUILD_PV="2.4"
+
+JAVA_PKG_IUSE="doc source"
+inherit java-pkg-2 java-ant-2
+
+DESCRIPTION="Lightweight constraint programming with a SAT solver"
+HOMEPAGE="http://www.sat4j.org/"
+SRC_URI="http://download.forge.objectweb.org/sat4j/${PN}-v${MY_PV}.zip
+	http://download.forge.objectweb.org/sat4j/build-${BUILD_PV}.xml"
+LICENSE="LGPL-2.1"
+SLOT="2"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=virtual/jre-1.4"
+DEPEND=">=virtual/jdk-1.5"
+
+S="${WORKDIR}"
+EANT_BUILD_TARGET="core"
+EANT_DOC_TARGET="javadoc -Dmodule=core -Dlib=core/lib"
+
+src_unpack() {
+	unpack ${PN}-v${MY_PV}.zip
+	mkdir -p core/{lib,src} || die
+
+	# Don't complain about missing javadoc stylesheet.
+	touch core/lib/stylesheet.css
+
+	# Grab build.xml. Don't fetch from CVS.
+	sed 's/depends="prepare,getsource"/depends="prepare"/g' \
+		"${DISTDIR}/build-${BUILD_PV}.xml" > build.xml || die
+
+	# Unpack manifest.
+	cd core || die
+	$(java-config -j) xf "${WORKDIR}/${MY_PN}.jar" META-INF || die
+
+	# Unpack sources.
+	cd src || die
+	$(java-config -j) xf "${WORKDIR}/${MY_PN}-src.jar" || die
+}
+
+src_install() {
+	java-pkg_dojar dist/CUSTOM/${MY_PN}.jar
+	use doc && java-pkg_dojavadoc api/core
+	use source && java-pkg_dosrc core/src/org
+}
diff --git a/dev-java/sat4j-pseudo/ChangeLog b/dev-java/sat4j-pseudo/ChangeLog
new file mode 100644
index 0000000..974060d
--- /dev/null
+++ b/dev-java/sat4j-pseudo/ChangeLog
@@ -0,0 +1,13 @@
+# ChangeLog for dev-java/sat4j-pseudo
+# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+  03 Sep 2008; Alistair Bush <ali_bush@gentoo.org>
+  sat4j-pseudo-2.0.1.ebuild:
+  Fixing doc installation.
+
+*sat4j-pseudo-2.0.1 (25 Jul 2008)
+
+  25 Jul 2008; James Le Cuirot <chewi@aura-online.co.uk>
+  +sat4j-pseudo-2.0.1.ebuild:
+  Added.
diff --git a/dev-java/sat4j-pseudo/Manifest b/dev-java/sat4j-pseudo/Manifest
new file mode 100644
index 0000000..3f90ff3
--- /dev/null
+++ b/dev-java/sat4j-pseudo/Manifest
@@ -0,0 +1,4 @@
+DIST build-2.4.xml 9458 RMD160 a42173b5390cbf8027d180eb8d857cbae124e29b SHA1 70ce855116615e1e13283e00dd2e20eeae2d5447 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8
+DIST sat4j-pb-v20080622.zip 178075 RMD160 7f6bab474e4c6c8337938cc4dd84aff6beea149a SHA1 5c12525cbaca1fe3dd99c0dd2fa46dfad9ea9a4a SHA256 852fffdd6568ff98045b54507ee7829d8c5e63f23dffd2ebe9034fd277099bad
+EBUILD sat4j-pseudo-2.0.1.ebuild 1606 RMD160 474c4882a27a494664b764bf98d371f3d83a22fb SHA1 0d85a96de5d00213add39c71c1daa773a7a3220e SHA256 db827ca3951c70a160e949178ec2f8c1b8b0272ac3c92f657d26de26998c7501
+MISC ChangeLog 361 RMD160 1c2230ca7e3211f67456164c8b30617651a336c5 SHA1 3a629660f0d75fa4d673ad099de669bef890fd1c SHA256 cbd1994d85ae5f6476864c097ce18714535847385b634e1e64fa0c34bc2e5a77
diff --git a/dev-java/sat4j-pseudo/sat4j-pseudo-2.0.1.ebuild b/dev-java/sat4j-pseudo/sat4j-pseudo-2.0.1.ebuild
new file mode 100644
index 0000000..70b3056
--- /dev/null
+++ b/dev-java/sat4j-pseudo/sat4j-pseudo-2.0.1.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2008 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI="1"
+
+MY_PN="org.sat4j.pb"
+MY_PV="20080622"
+BUILD_PV="2.4"
+
+JAVA_PKG_IUSE="doc source"
+inherit java-pkg-2 java-ant-2
+
+DESCRIPTION="Pseudo Boolean solvers"
+HOMEPAGE="http://www.sat4j.org/"
+SRC_URI="http://download.forge.objectweb.org/sat4j/sat4j-pb-v${MY_PV}.zip
+	http://download.forge.objectweb.org/sat4j/build-${BUILD_PV}.xml"
+LICENSE="LGPL-2.1"
+SLOT="2"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+CDEPEND="dev-java/sat4j-core:2"
+
+RDEPEND="${CDEPEND}
+	>=virtual/jre-1.4"
+
+DEPEND="${CDEPEND}
+	>=virtual/jdk-1.5"
+
+S="${WORKDIR}"
+
+JAVA_ANT_REWRITE_CLASSPATH="yes"
+EANT_BUILD_TARGET="pseudo"
+EANT_GENTOO_CLASSPATH="sat4j-core:2"
+EANT_DOC_TARGET="javadoc -Dmodule=pb -Dlib=pb/lib"
+
+src_unpack() {
+	unpack sat4j-pb-v${MY_PV}.zip
+	mkdir -p {core,pb}/{lib,src} || die
+
+	# Don't complain about missing javadoc stylesheet.
+	touch core/lib/stylesheet.css
+
+	# Grab build.xml. Don't fetch from CVS. Don't build core.
+	sed -e 's/depends="core"//g' \
+		-e 's/depends="prepare,getsource"/depends="prepare"/g' \
+		"${DISTDIR}/build-${BUILD_PV}.xml" > build.xml || die
+
+	# This is the version identifier used for custom builds.
+	echo 'CUSTOM' > core/src/sat4j.version || die
+
+	# Unpack manifest.
+	cd pb || die
+	$(java-config -j) xf "${WORKDIR}/${MY_PN}.jar" META-INF || die
+
+	# Unpack sources.
+	cd src || die
+	$(java-config -j) xf "${WORKDIR}/${MY_PN}-src.jar" || die
+}
+
+src_install() {
+	java-pkg_dojar dist/CUSTOM/${MY_PN}.jar
+	use doc && java-pkg_dojavadoc api/pb
+	use source && java-pkg_dosrc pb/src/org
+}