2012-04-01 12:19:34 +04:00
|
|
|
DEFINED_PHASES=compile configure install preinst prepare setup unpack
|
2015-05-11 12:21:13 +03:00
|
|
|
DEPEND=dev-java/sat4j-core:2 >=virtual/jdk-1.5 >=dev-java/java-config-2.2.0 source? ( app-arch/zip ) >=dev-java/ant-core-1.8.2 >=dev-java/javatoolkit-0.3.0-r2
|
2012-04-01 12:19:34 +04:00
|
|
|
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
|
2015-05-11 12:21:13 +03:00
|
|
|
RDEPEND=dev-java/sat4j-core:2 >=virtual/jre-1.5 >=dev-java/java-config-2.2.0 source? ( app-arch/zip )
|
2012-04-01 12:19:34 +04:00
|
|
|
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
|
2015-08-03 11:05:42 +03:00
|
|
|
_eclasses_=eutils 9fb270e417e0e83d64ca52586c4a79de java-ant-2 1091461b8b02f54fabcfbf159164ff15 java-pkg-2 1889f7787714c5f7e3b5bb1c2be07c1f java-utils-2 240e3f28c6b42b9f36d3c36b8b27fbb2 multilib 62927b3db3a589b0806255f3a002d5d3 toolchain-funcs 42408102d713fbad60ca21349865edb4 versionator cd0bcdb170807e4a1984115e9d53a26f
|
2012-04-01 12:19:34 +04:00
|
|
|
_md5_=b91983b2e772fe0ee8a1ad4fc17ad272
|
