| 1 |
fordfrog 11/12/25 22:23:30 |
| 2 |
|
| 3 |
Modified: ChangeLog |
| 4 |
Added: sat4j-pseudo-2.3.1.ebuild |
| 5 |
Log: |
| 6 |
dev-java/sat4j-pseudo: version bump |
| 7 |
|
| 8 |
(Portage version: 2.1.10.43/cvs/Linux x86_64) |
| 9 |
|
| 10 |
Revision Changes Path |
| 11 |
1.11 dev-java/sat4j-pseudo/ChangeLog |
| 12 |
|
| 13 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog?rev=1.11&view=markup |
| 14 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog?rev=1.11&content-type=text/plain |
| 15 |
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog?r1=1.10&r2=1.11 |
| 16 |
|
| 17 |
Index: ChangeLog |
| 18 |
=================================================================== |
| 19 |
RCS file: /var/cvsroot/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog,v |
| 20 |
retrieving revision 1.10 |
| 21 |
retrieving revision 1.11 |
| 22 |
diff -u -r1.10 -r1.11 |
| 23 |
--- ChangeLog 17 Oct 2010 12:32:35 -0000 1.10 |
| 24 |
+++ ChangeLog 25 Dec 2011 22:23:30 -0000 1.11 |
| 25 |
@@ -1,6 +1,11 @@ |
| 26 |
# ChangeLog for dev-java/sat4j-pseudo |
| 27 |
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 |
| 28 |
-# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog,v 1.10 2010/10/17 12:32:35 caster Exp $ |
| 29 |
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 |
| 30 |
+# $Header: /var/cvsroot/gentoo-x86/dev-java/sat4j-pseudo/ChangeLog,v 1.11 2011/12/25 22:23:30 fordfrog Exp $ |
| 31 |
+ |
| 32 |
+*sat4j-pseudo-2.3.1 (25 Dec 2011) |
| 33 |
+ |
| 34 |
+ 25 Dec 2011; Miroslav Šulc <fordfrog@g.o> +sat4j-pseudo-2.3.1.ebuild: |
| 35 |
+ Version bump in new slot |
| 36 |
|
| 37 |
17 Oct 2010; Vlastimil Babka <caster@g.o> -sat4j-pseudo-2.1.ebuild, |
| 38 |
-sat4j-pseudo-2.1.1.ebuild: |
| 39 |
|
| 40 |
|
| 41 |
|
| 42 |
1.1 dev-java/sat4j-pseudo/sat4j-pseudo-2.3.1.ebuild |
| 43 |
|
| 44 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-java/sat4j-pseudo/sat4j-pseudo-2.3.1.ebuild?rev=1.1&view=markup |
| 45 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-java/sat4j-pseudo/sat4j-pseudo-2.3.1.ebuild?rev=1.1&content-type=text/plain |
| 46 |
|
| 47 |
Index: sat4j-pseudo-2.3.1.ebuild |
| 48 |
=================================================================== |
| 49 |
# Copyright 1999-2011 Gentoo Foundation |
| 50 |
# Distributed under the terms of the GNU General Public License v2 |
| 51 |
# $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 $ |
| 52 |
|
| 53 |
EAPI="2" |
| 54 |
|
| 55 |
MY_PN="org.sat4j.pb" |
| 56 |
MY_PV="20111030" |
| 57 |
BUILD_PV="2.4" |
| 58 |
|
| 59 |
JAVA_PKG_IUSE="doc source" |
| 60 |
inherit java-pkg-2 java-ant-2 |
| 61 |
|
| 62 |
DESCRIPTION="Pseudo Boolean solvers" |
| 63 |
HOMEPAGE="http://www.sat4j.org/" |
| 64 |
SRC_URI="http://download.forge.objectweb.org/sat4j/sat4j-pb-v${MY_PV}.zip |
| 65 |
http://download.forge.objectweb.org/sat4j/build-${BUILD_PV}.xml -> ${P}-build.xml" |
| 66 |
LICENSE="LGPL-2.1" |
| 67 |
SLOT="2" |
| 68 |
KEYWORDS="~amd64 ~x86" |
| 69 |
IUSE="" |
| 70 |
|
| 71 |
CDEPEND="dev-java/sat4j-core:2.3" |
| 72 |
|
| 73 |
RDEPEND="${CDEPEND} |
| 74 |
>=virtual/jre-1.5" |
| 75 |
|
| 76 |
DEPEND="${CDEPEND} |
| 77 |
>=virtual/jdk-1.5" |
| 78 |
|
| 79 |
S="${WORKDIR}" |
| 80 |
|
| 81 |
src_unpack() { |
| 82 |
unpack sat4j-pb-v${MY_PV}.zip |
| 83 |
} |
| 84 |
|
| 85 |
java_prepare() { |
| 86 |
mkdir -p {core,pb}/{lib,src} || die |
| 87 |
|
| 88 |
# Don't complain about missing javadoc stylesheet. |
| 89 |
touch core/lib/stylesheet.css |
| 90 |
|
| 91 |
# Grab build.xml. Don't fetch from CVS. Don't build core. |
| 92 |
sed -e 's/depends="core"//g' \ |
| 93 |
-e 's/depends="prepare,getsource"/depends="prepare"/g' \ |
| 94 |
"${DISTDIR}/${P}-build.xml" > build.xml || die |
| 95 |
|
| 96 |
# This is the version identifier used for custom builds. |
| 97 |
echo 'CUSTOM' > core/src/sat4j.version || die |
| 98 |
|
| 99 |
# Unpack manifest. |
| 100 |
cd pb || die |
| 101 |
jar xf "${WORKDIR}/${MY_PN}.jar" META-INF || die |
| 102 |
|
| 103 |
# Unpack sources. |
| 104 |
cd src || die |
| 105 |
jar xf "${WORKDIR}/${MY_PN}-src.jar" || die |
| 106 |
} |
| 107 |
|
| 108 |
JAVA_ANT_REWRITE_CLASSPATH="yes" |
| 109 |
EANT_BUILD_TARGET="pseudo" |
| 110 |
EANT_GENTOO_CLASSPATH="sat4j-core-2" |
| 111 |
EANT_DOC_TARGET="javadoc -Dmodule=pb -Dlib=pb/lib" |
| 112 |
|
| 113 |
src_install() { |
| 114 |
java-pkg_dojar dist/CUSTOM/${MY_PN}.jar |
| 115 |
use doc && java-pkg_dojavadoc api/pb |
| 116 |
use source && java-pkg_dosrc pb/src/org |
| 117 |
} |
Archives