diff options
Diffstat (limited to 'dev-java/sat4j-core')
| -rw-r--r-- | dev-java/sat4j-core/Manifest | 4 | ||||
| -rw-r--r-- | dev-java/sat4j-core/metadata.xml | 6 | ||||
| -rw-r--r-- | dev-java/sat4j-core/sat4j-core-2.2.0.ebuild | 59 | ||||
| -rw-r--r-- | dev-java/sat4j-core/sat4j-core-2.3.1-r1.ebuild | 59 |
4 files changed, 128 insertions, 0 deletions
diff --git a/dev-java/sat4j-core/Manifest b/dev-java/sat4j-core/Manifest new file mode 100644 index 000000000000..624ededcc6f8 --- /dev/null +++ b/dev-java/sat4j-core/Manifest @@ -0,0 +1,4 @@ +DIST sat4j-core-2.2.0-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55 +DIST sat4j-core-2.3.1-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55 +DIST sat4j-core-v20100623.zip 383901 SHA256 9a331a640102ab9b4ff11bb7153d364eeedbdab0d19464d887c57636c3236a60 SHA512 60020df4cb07a1498c3e77463b9f940a65de98de995d9f3cc0308133e264d891de4d835bf4dd28c09da34b758e4edf4a28b661805ab85028a4cb6a519e128276 WHIRLPOOL b74a1107580de0cfeba15e90f76cbea8c534816ac7131f74605c1f928055f0b085a089048578484f07b1a2d72b0e8b44a61e67b4bb2a60d6d15481524d3b7cf4 +DIST sat4j-core-v20111030.zip 443396 SHA256 d6c72afb5bccaa00a437cc5a65514c5caa8feae2cd7881415a1b6ea0dbfbcb51 SHA512 bb54221f70b99fb32786e37b6ab58e78cb353d8b614b76c7ef8898d0f0b2ec94f800e13f58712f994644cef24bcdc30a8ee76a513ca01db94ddb9fbff06e1550 WHIRLPOOL 87534eb3caed49bc9ecef38d96c0135d4fe57842d26bac9e3314aaf0b9b7e76047cbda06f768ea18191cb5712b782e97f3cccc8749c96264bdc73fd440579e2e diff --git a/dev-java/sat4j-core/metadata.xml b/dev-java/sat4j-core/metadata.xml new file mode 100644 index 000000000000..604e0a4238bb --- /dev/null +++ b/dev-java/sat4j-core/metadata.xml @@ -0,0 +1,6 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>java</herd> +</pkgmetadata> + diff --git a/dev-java/sat4j-core/sat4j-core-2.2.0.ebuild b/dev-java/sat4j-core/sat4j-core-2.2.0.ebuild new file mode 100644 index 000000000000..e33a75a141db --- /dev/null +++ b/dev-java/sat4j-core/sat4j-core-2.2.0.ebuild @@ -0,0 +1,59 @@ +# Copyright 1999-2010 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +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 +} diff --git a/dev-java/sat4j-core/sat4j-core-2.3.1-r1.ebuild b/dev-java/sat4j-core/sat4j-core-2.3.1-r1.ebuild new file mode 100644 index 000000000000..0eef81467296 --- /dev/null +++ b/dev-java/sat4j-core/sat4j-core-2.3.1-r1.ebuild @@ -0,0 +1,59 @@ +# Copyright 1999-2012 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +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 +} |