2012-04-01 12:19:34 +04:00
|
|
|
DEFINED_PHASES=compile configure install preinst prepare setup unpack
|
|
|
|
|
DEPEND=dev-java/sat4j-core:2.3 >=virtual/jdk-1.5 >=dev-java/java-config-2.1.9-r1 source? ( app-arch/zip ) >=dev-java/ant-core-1.7.0 >=dev-java/javatoolkit-0.3.0-r2 >=dev-lang/python-2.4
|
|
|
|
|
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.3 >=virtual/jre-1.5 >=dev-java/java-config-2.1.9-r1 source? ( app-arch/zip )
|
|
|
|
|
SLOT=2.3
|
|
|
|
|
SRC_URI=http://download.forge.objectweb.org/sat4j/sat4j-pb-v20111030.zip http://download.forge.objectweb.org/sat4j/build-2.4.xml -> sat4j-pseudo-2.3.1-build.xml
|
2012-10-18 10:14:41 +04:00
|
|
|
_eclasses_=eutils 5a98daf52f7430a4a6f46cee24cfe3e2 java-ant-2 daa6d2d0a12ebb700a69d9f1d2f02c5c java-pkg-2 65bbb59987d777c1106ae8aa4bf36e7b java-utils-2 2d9eb3508fa5d6759e39354b74545567 multilib 9aa8a023e062fca0ba79362d9d0cc488 toolchain-funcs 134429b842a6c67254bfd76a8753e4d4 user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4
|
2012-04-01 12:19:34 +04:00
|
|
|
_md5_=b98a85fd05b19019c9c60d8d4633cc05
|
