13 lines
1 KiB
Groff
13 lines
1 KiB
Groff
DEFINED_PHASES=compile configure install preinst prepare setup unpack
|
|
DEPEND=>=virtual/jdk-1.6 app-arch/unzip >=dev-java/java-config-2.1.9-r1 source? ( app-arch/zip ) dev-lang/python !dev-lang/python[-threads]
|
|
DESCRIPTION=a constraint solver for relational logic
|
|
EAPI=5
|
|
HOMEPAGE=http://alloy.mit.edu/kodkod/index.html
|
|
IUSE=elibc_FreeBSD doc source
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=MIT
|
|
RDEPEND=>=virtual/jre-1.6 >=dev-java/java-config-2.1.9-r1 source? ( app-arch/zip )
|
|
SLOT=0/1.5.2
|
|
SRC_URI=http://alloy.mit.edu/kodkod/1.5.2/kodkod-1.5.2.zip http://waf.googlecode.com/files/waf-1.7.6
|
|
_eclasses_=base ec46b36a6f6fd1d0b505a33e0b74e413 eutils 384ae111f3649d456ed1754e3e1c4f6e java-pkg-2 65bbb59987d777c1106ae8aa4bf36e7b java-utils-2 52b7cfbf4f7225fcea7e7f18b6d83328 multilib 892e597faee02a5b94eb02ab512e7622 multiprocessing a2130e6fc4aa4c6a24b265ca0cbcc2b6 toolchain-funcs 69a2016af67775a812f4c03ba4b0e03e user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4 waf-utils 681b3e9181d1a20ad8d0c186333ddcf7
|
|
_md5_=b8a52f2c789ff801d4ca7bb4d88deb85
|