blob: 7e7101db2d03e7395453ec5998fdfaa3ea13b220 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
DEFINED_PHASES=compile configure install preinst prepare setup unpack
DEPEND=dev-java/sat4j-core:2 >=virtual/jdk-1.5 >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip ) >=dev-java/ant-core-1.8.2:0 >=dev-java/javatoolkit-0.3.0-r2
DESCRIPTION=Pseudo Boolean solvers
EAPI=2
HOMEPAGE=http://www.sat4j.org/
IUSE=elibc_FreeBSD doc source elibc_FreeBSD
KEYWORDS=amd64 x86
LICENSE=LGPL-2.1
RDEPEND=dev-java/sat4j-core:2 >=virtual/jre-1.5 >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
SLOT=2
SRC_URI=http://download.forge.objectweb.org/sat4j/sat4j-pb-v20100623.zip http://download.forge.objectweb.org/sat4j/build-2.4.xml -> sat4j-pseudo-2.2.0-build.xml
_eclass_exported_funcs=pkg_preinst:java-pkg-2 pkg_setup:java-pkg-2 src_unpack:- src_prepare:java-pkg-2 src_configure:java-ant-2 src_compile:java-pkg-2 src_install:-
_eclasses_=eutils ea170b525f6a38a006be05c9d9429f13 java-ant-2 d1abcccd8e9c606be17deacfe5c7368a java-pkg-2 eb1f0d7d874162c70088f5ae32c31ee7 java-utils-2 5224658aa82a59d93cbe0ebf78adf4c2 multilib 165fc17c38d1b11dac2008280dab6e80 toolchain-funcs 1b1da0c45c555989dc5d832b54880783 versionator 99ae9d758cbe7cfed19170e7d48f5a9c
_md5_=4fcd6408c60589002a71ed69e1b1e33b
|
GitWeb
