13 lines
884 B
Text
13 lines
884 B
Text
DEFINED_PHASES=compile configure install preinst prepare setup
|
|
DEPEND=>=virtual/jdk-1.8 >=dev-java/java-config-2.2.0-r3 >=dev-java/ant-core-1.8.2:0 dev-java/javatoolkit
|
|
DESCRIPTION=Interpolating SMT-solver that can compute Craig interpolants for various theories
|
|
EAPI=8
|
|
HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/smtinterpol/
|
|
INHERIT=java-pkg-2 java-ant-2
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=LGPL-3
|
|
RDEPEND=>=virtual/jre-1.8 >=dev-java/java-config-2.2.0-r3
|
|
SLOT=0
|
|
SRC_URI=https://github.com/ultimate-pa/smtinterpol/archive/32d7fa8751f668f9e9a18e4e96df3337b53d2150.tar.gz -> smtinterpol-2.5_p20211018.tar.gz
|
|
_eclasses_=java-ant-2 5cf479aa9e0ac9cc55899f2762c2aaa0 java-pkg-2 3b09e051fc2045a0f0b9471b87d4f8bd java-utils-2 c0a9bd68d938ab2d3a7e237fd05f1dd8 multilib 4fbbbc98f236f1b43acd99476bc3cd85 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb
|
|
_md5_=bf1f604f075bd795e556e4a88b9be6ad
|