Commits

Providence SALUMU  committed 58f8825

adds and modified dev-java/sat4j-pseudo:2.3.1

  • Participants
  • Parent commits 52cce71

Comments (0)

Files changed (10)

File dev-java/sat4j-core/ChangeLog

+# ChangeLog for dev-java/sat4j-core
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-core/ChangeLog,v 1.12 2011/12/25 22:19:42 fordfrog Exp $
+
+*sat4j-core-2.3.1-r1 (25 Dec 2011)
+
+  25 Dec 2011; Miroslav Šulc <fordfrog@gentoo.org> -sat4j-core-2.3.1.ebuild,
+  +sat4j-core-2.3.1-r1.ebuild:
+  Version 2.3.1 has to be slotted
+
+*sat4j-core-2.3.1 (25 Dec 2011)
+
+  25 Dec 2011; Miroslav Šulc <fordfrog@gentoo.org> +sat4j-core-2.3.1.ebuild:
+  Version bump
+
+  17 Oct 2010; Vlastimil Babka <caster@gentoo.org> -sat4j-core-2.1.ebuild,
+  -sat4j-core-2.1.1.ebuild:
+  Remove old.
+
+  21 Sep 2010; Markos Chandras <hwoarang@gentoo.org>
+  sat4j-core-2.2.0.ebuild:
+  Stable on amd64 wrt bug #337039
+
+  14 Sep 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+  sat4j-core-2.2.0.ebuild:
+  x86 stable wrt bug #337039
+
+*sat4j-core-2.2.0 (13 Aug 2010)
+
+  13 Aug 2010; Alistair Bush <ali_bush@gentoo.org> +sat4j-core-2.2.0.ebuild:
+  Version Bump. Thanks to Matt Whitlock <matt@whitlock.name>
+
+  29 May 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+  sat4j-core-2.1.1.ebuild:
+  x86 stable wrt bug #318541
+
+  25 May 2010; Pacho Ramos <pacho@gentoo.org> sat4j-core-2.1.1.ebuild:
+  stable amd64, bug 318541
+
+  13 Apr 2010; Christian Faulhammer <fauli@gentoo.org>
+  sat4j-core-2.1.ebuild:
+  stable x86, bug 310181
+
+*sat4j-core-2.1.1 (05 Apr 2010)
+
+  05 Apr 2010; Alistair Bush <ali_bush@gentoo.org> +sat4j-core-2.1.1.ebuild:
+  Version Bump.
+
+  20 Mar 2010; Pacho Ramos <pacho@gentoo.org> sat4j-core-2.1.ebuild:
+  amd64 stable, bug 310181
+
+  09 Dec 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-core-2.1.ebuild,
+  +metadata.xml:
+  Move into main tree to await the arrival of eclipse-sdk.
+
+*sat4j-core-2.1 (03 Nov 2009)
+
+  03 Nov 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-core-2.1.ebuild,
+  +metadata.xml:
+  New Ebuild based on the work done by Matt Whitlock <matt@whitlock.name>
+

File dev-java/sat4j-core/Manifest

+DIST sat4j-core-2.2.0-build.xml 9458 RMD160 a42173b5390cbf8027d180eb8d857cbae124e29b SHA1 70ce855116615e1e13283e00dd2e20eeae2d5447 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8
+DIST sat4j-core-2.3.1-build.xml 9458 RMD160 a42173b5390cbf8027d180eb8d857cbae124e29b SHA1 70ce855116615e1e13283e00dd2e20eeae2d5447 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8
+DIST sat4j-core-v20100623.zip 383901 RMD160 5f841c73ce4444dfae3a2b70c5750c018a3a7724 SHA1 678bf14d560e6056596670ff4508003a29909641 SHA256 9a331a640102ab9b4ff11bb7153d364eeedbdab0d19464d887c57636c3236a60
+DIST sat4j-core-v20111030.zip 443396 RMD160 3ff8b3fb2cdbfc57c56f6980692a52ee92cfc7b5 SHA1 5d9a737fe19adb2aa6d6fcf79c3408cde4949e16 SHA256 d6c72afb5bccaa00a437cc5a65514c5caa8feae2cd7881415a1b6ea0dbfbcb51
+EBUILD sat4j-core-2.2.0.ebuild 1505 RMD160 2cfd9d635807acf9c6cbb504951475150b544df0 SHA1 3e3213850f40717e589892b519fdbdb95dc3c575 SHA256 df870db1cb71ba258b1c6e4ff6f59ced43d974a4faa663111b1e7bf4de71d8ce
+EBUILD sat4j-core-2.3.1-r1.ebuild 1512 RMD160 4ab33defa9a89e2a73d44a4f011320295eb11bcf SHA1 259102bd667977c2529bc2f8b5131751426c9b8a SHA256 4f81373b87edecae56f40b4c36c0e2c33a73bdbca6c74ab92d2d9cbde3c6ea0b
+MISC ChangeLog 1929 RMD160 e6a2666a6f8c4cf45c0ca5dd03edb7a323d0a5fc SHA1 8c5191cfcbde6420f7fc3e05f5423f4c3c49c165 SHA256 de9a01971e5344bf2dcd382cb37dcd096e2a183ed3ad3562aea38e0c49352627
+MISC metadata.xml 159 RMD160 5259d4be0ca7b74c28e711d45a289def9aeadbd9 SHA1 c4ec40cd8f19e0d780a5133941bc50043be198cf SHA256 1c070a909e96d9d193f84ad9304d196febbe33b60a724cc4b0d20634bb82255b

File dev-java/sat4j-core/metadata.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<herd>java</herd>
+</pkgmetadata>
+

File dev-java/sat4j-core/sat4j-core-2.2.0.ebuild

+# Copyright 1999-2010 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-core/sat4j-core-2.2.0.ebuild,v 1.3 2010/09/21 20:06:47 hwoarang Exp $
+
+EAPI="2"
+
+MY_PN="org.${PN//-/.}"
+MY_PV="20100623"
+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 -> ${P}-build.xml"
+LICENSE="LGPL-2.1"
+SLOT="2"
+KEYWORDS="amd64 x86"
+IUSE=""
+
+RDEPEND=">=virtual/jre-1.5"
+DEPEND=">=virtual/jdk-1.5"
+
+S="${WORKDIR}"
+
+src_unpack() {
+	unpack ${PN}-v${MY_PV}.zip
+}
+
+java_prepare() {
+	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. Version file is gone.
+	sed -e 's/depends="prepare,getsource"/depends="prepare"/g' \
+		-e '/<replace/d' \
+		"${DISTDIR}/${P}-build.xml" > build.xml || die
+
+	# Unpack manifest.
+	cd core || die
+	jar xf "${WORKDIR}/${MY_PN}.jar" META-INF || die
+
+	# Unpack sources.
+	cd src || die
+	jar xf "${WORKDIR}/${MY_PN}-src.jar" || die
+}
+
+EANT_BUILD_TARGET="core"
+EANT_DOC_TARGET="javadoc -Dmodule=core -Dlib=core/lib"
+
+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
+}

File dev-java/sat4j-core/sat4j-core-2.3.1-r1.ebuild

+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-core/sat4j-core-2.3.1-r1.ebuild,v 1.1 2011/12/25 22:19:42 fordfrog Exp $
+
+EAPI="2"
+
+MY_PN="org.${PN//-/.}"
+MY_PV="20111030"
+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 -> ${P}-build.xml"
+LICENSE="LGPL-2.1"
+SLOT="2.3"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=virtual/jre-1.5"
+DEPEND=">=virtual/jdk-1.5"
+
+S="${WORKDIR}"
+
+src_unpack() {
+	unpack ${PN}-v${MY_PV}.zip
+}
+
+java_prepare() {
+	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. Version file is gone.
+	sed -e 's/depends="prepare,getsource"/depends="prepare"/g' \
+		-e '/<replace/d' \
+		"${DISTDIR}/${P}-build.xml" > build.xml || die
+
+	# Unpack manifest.
+	cd core || die
+	jar xf "${WORKDIR}/${MY_PN}.jar" META-INF || die
+
+	# Unpack sources.
+	cd src || die
+	jar xf "${WORKDIR}/${MY_PN}-src.jar" || die
+}
+
+EANT_BUILD_TARGET="core"
+EANT_DOC_TARGET="javadoc -Dmodule=core -Dlib=core/lib"
+
+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
+}

File dev-java/sat4j-pseudo/ChangeLog

+# ChangeLog for dev-java/sat4j-pseudo
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog,v 1.11 2011/12/25 22:23:30 fordfrog Exp $
+
+*sat4j-pseudo-2.3.1 (25 Dec 2011)
+
+  25 Dec 2011; Miroslav Šulc <fordfrog@gentoo.org> +sat4j-pseudo-2.3.1.ebuild:
+  Version bump in new slot
+
+  17 Oct 2010; Vlastimil Babka <caster@gentoo.org> -sat4j-pseudo-2.1.ebuild,
+  -sat4j-pseudo-2.1.1.ebuild:
+  Remove old.
+
+  21 Sep 2010; Markos Chandras <hwoarang@gentoo.org>
+  sat4j-pseudo-2.2.0.ebuild:
+  Stable on amd64 wrt bug #337040
+
+  14 Sep 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+  sat4j-pseudo-2.2.0.ebuild:
+  x86 stable wrt bug #337040
+
+*sat4j-pseudo-2.2.0 (13 Aug 2010)
+
+  13 Aug 2010; Alistair Bush <ali_bush@gentoo.org>
+  +sat4j-pseudo-2.2.0.ebuild:
+  Version Bump. Thanks to Matt Whitlock <matt@whitlock.name>
+
+  25 Jun 2010; Christoph Mende <angelos@gentoo.org>
+  sat4j-pseudo-2.1.1.ebuild:
+  Stable on amd64 wrt bug #318541
+
+  29 May 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+  sat4j-pseudo-2.1.1.ebuild:
+  x86 stable wrt bug #318541
+
+  13 Apr 2010; Christian Faulhammer <fauli@gentoo.org>
+  sat4j-pseudo-2.1.ebuild:
+  stable x86, bug 310181
+
+*sat4j-pseudo-2.1.1 (05 Apr 2010)
+
+  05 Apr 2010; Alistair Bush <ali_bush@gentoo.org>
+  +sat4j-pseudo-2.1.1.ebuild:
+  Version Bump
+
+  20 Mar 2010; Pacho Ramos <pacho@gentoo.org> sat4j-pseudo-2.1.ebuild:
+  amd64 stable, bug 310181
+
+  09 Dec 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-pseudo-2.1.ebuild,
+  +metadata.xml:
+  Move into main tree to await the arrival of eclipse-sdk 3.5.
+
+*sat4j-pseudo-2.1 (03 Nov 2009)
+
+  03 Nov 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-pseudo-2.1.ebuild,
+  +metadata.xml:
+  New Ebuild based on the work done by Matt Whitlock <matt@whitlock.name>
+

File dev-java/sat4j-pseudo/Manifest

+DIST sat4j-pb-v20100623.zip 487925 RMD160 7fa3146a64b7a435828983d266cad87611deda5a SHA1 fe990b0da88cfee6dca6f14a23aa8fadc4659772 SHA256 58f6afd05c3bdc81314bf34ef606e2323a27ef8a942312fc88fce757afbdf8dd
+DIST sat4j-pb-v20110329.zip 566331 RMD160 c1726192435b3ce79981f48ee6457e8921db3ebf SHA1 4d208ad87e4eecabbd3f67655402c75d6dad3738 SHA256 b9f1108464ac22ca1968a3d12726c29a6aa0bc15465fbf6c1b84c6909842094a
+DIST sat4j-pseudo-2.2.0-build.xml 9458 RMD160 a42173b5390cbf8027d180eb8d857cbae124e29b SHA1 70ce855116615e1e13283e00dd2e20eeae2d5447 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8
+DIST sat4j-pseudo-2.3.1-build.xml 9458 RMD160 a42173b5390cbf8027d180eb8d857cbae124e29b SHA1 70ce855116615e1e13283e00dd2e20eeae2d5447 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8
+EBUILD sat4j-pseudo-2.2.0.ebuild 1718 RMD160 08524ccb090cd9cd4327b541194fe47941cf63ff SHA1 596e1122e162e0082173a139700ed224421cc271 SHA256 9383fef0a77d0c1fa92ce3bff41f54993ab080698f39d798a56a444e631b2fa9
+EBUILD sat4j-pseudo-2.3.1.ebuild 1722 RMD160 4da97d56060a12129bdc401161c7031f26f7face SHA1 49bac91786ee88c58f2201e2948e0032119d5c03 SHA256 d88e2673dfc8943b5e1613ff62e7340d9ae0b198f0d735481af4dacfaf31f021
+MISC ChangeLog 1821 RMD160 fb8143ef3407ea3416e439c2fb17fd9e8a81ab84 SHA1 0f7addf212130944b79eba8ccfa10ae29b39022d SHA256 b8865a88ca8ebf6fe42035c179855268fa822e70c83ed6cf3578dac0a7b48f5b
+MISC metadata.xml 159 RMD160 5259d4be0ca7b74c28e711d45a289def9aeadbd9 SHA1 c4ec40cd8f19e0d780a5133941bc50043be198cf SHA256 1c070a909e96d9d193f84ad9304d196febbe33b60a724cc4b0d20634bb82255b

File dev-java/sat4j-pseudo/metadata.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<herd>java</herd>
+</pkgmetadata>
+

File dev-java/sat4j-pseudo/sat4j-pseudo-2.2.0.ebuild

+# Copyright 1999-2010 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-pseudo/sat4j-pseudo-2.2.0.ebuild,v 1.3 2010/09/21 20:08:45 hwoarang Exp $
+
+EAPI="2"
+
+MY_PN="org.sat4j.pb"
+MY_PV="20100623"
+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 -> ${P}-build.xml"
+LICENSE="LGPL-2.1"
+SLOT="2"
+KEYWORDS="amd64 x86"
+IUSE=""
+
+CDEPEND="dev-java/sat4j-core:2"
+
+RDEPEND="${CDEPEND}
+	>=virtual/jre-1.5"
+
+DEPEND="${CDEPEND}
+	>=virtual/jdk-1.5"
+
+S="${WORKDIR}"
+
+src_unpack() {
+	unpack sat4j-pb-v${MY_PV}.zip
+}
+
+java_prepare() {
+	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}/${P}-build.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
+	jar xf "${WORKDIR}/${MY_PN}.jar" META-INF || die
+
+	# Unpack sources.
+	cd src || die
+	jar xf "${WORKDIR}/${MY_PN}-src.jar" || die
+}
+
+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_install() {
+	java-pkg_dojar dist/CUSTOM/${MY_PN}.jar
+	use doc && java-pkg_dojavadoc api/pb
+	use source && java-pkg_dosrc pb/src/org
+}

File dev-java/sat4j-pseudo/sat4j-pseudo-2.3.1.ebuild

+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-pseudo/sat4j-pseudo-2.3.1.ebuild,v 1.1 2011/12/25 22:23:30 fordfrog Exp $
+
+EAPI="2"
+
+MY_PN="org.sat4j.pb"
+MY_PV="20110329"
+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 -> ${P}-build.xml"
+LICENSE="LGPL-2.1"
+SLOT="2"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+CDEPEND="dev-java/sat4j-core:2.3"
+
+RDEPEND="${CDEPEND}
+	>=virtual/jre-1.5"
+
+DEPEND="${CDEPEND}
+	>=virtual/jdk-1.5"
+
+S="${WORKDIR}"
+
+src_unpack() {
+	unpack sat4j-pb-v${MY_PV}.zip
+}
+
+java_prepare() {
+	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}/${P}-build.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
+	jar xf "${WORKDIR}/${MY_PN}.jar" META-INF || die
+
+	# Unpack sources.
+	cd src || die
+	jar xf "${WORKDIR}/${MY_PN}-src.jar" || die
+}
+
+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_install() {
+	java-pkg_dojar dist/CUSTOM/${MY_PN}.jar
+	use doc && java-pkg_dojavadoc api/pb
+	use source && java-pkg_dosrc pb/src/org
+}