2012-12-06 10:19:10 +04:00
|
|
|
DEFINED_PHASES=compile install postinst postrm preinst prepare setup
|
2013-08-17 13:27:01 +04:00
|
|
|
DEPEND=dev-java/antlr:3 =sci-mathematics/kodkod-1.5*:= >=virtual/jdk-1.6 app-arch/unzip >=dev-java/java-config-2.1.9-r1 source? ( app-arch/zip )
|
2014-08-12 12:57:09 +04:00
|
|
|
DESCRIPTION=A text front-end for the Kodkod Java library
|
2012-12-06 10:19:10 +04:00
|
|
|
EAPI=5
|
|
|
|
|
HOMEPAGE=http://www21.in.tum.de/~blanchet/#software
|
|
|
|
|
IUSE=isabelle examples elibc_FreeBSD doc source elibc_FreeBSD
|
|
|
|
|
KEYWORDS=~amd64 ~x86
|
|
|
|
|
LICENSE=BSD
|
2013-08-17 13:27:01 +04:00
|
|
|
RDEPEND=dev-java/antlr:3 =sci-mathematics/kodkod-1.5*:= isabelle? ( >=sci-mathematics/isabelle-2011-r1:= ) >=virtual/jre-1.6 >=dev-java/java-config-2.1.9-r1 source? ( app-arch/zip )
|
2012-12-06 10:19:10 +04:00
|
|
|
SLOT=0/1.5.2
|
|
|
|
|
SRC_URI=http://www21.in.tum.de/~blanchet/kodkodi-1.5.2.tgz
|
2014-11-13 16:12:49 +03:00
|
|
|
_eclasses_=eutils d6d771a6d82043f08b56b1ddebc16f78 java-pkg-2 65bbb59987d777c1106ae8aa4bf36e7b java-pkg-simple d7cef87260947d4cce245c4f026377e2 java-utils-2 f02d3e4777b404c719a5a6479c37c6e3 multilib 3bf24e6abb9b76d9f6c20600f0b716bf toolchain-funcs 0dfbfa13f57c6184f4728d12ac002aac versionator cd0bcdb170807e4a1984115e9d53a26f
|
2014-08-12 12:57:09 +04:00
|
|
|
_md5_=7162edda687d6d49ff4a52d42f4691c8
|
