Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example checking.

Package-Manager: portage-2.1.11.33/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

3 files changed, 139 insertions, 1 deletions

diff --git a/sci-mathematics/kodkodi/Manifest b/sci-mathematics/kodkodi/Manifest
index fa39958d4709..d290abc3edbb 100644
--- a/sci-mathematics/kodkodi/Manifest
+++ b/sci-mathematics/kodkodi/Manifest
@@ -1,3 +1,14 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
 DIST kodkodi-1.5.2.tgz 2826648 SHA256 1518d75f3748aa7c791623ff1508b4202f14d744e13b9bd41abf575429caa2b7 SHA512 117e0f1b3e3ee88efb9a9e2f02e8a7ce82a3487528ad0476acf20fafd885d3d48c051bd4a8cb6aa5cda61f24dfa74159448b83398be4119e726e757f6ff3aad4 WHIRLPOOL f331b423b2ad430b59f425d799c3991dccf0e5e9018015f12c30be851f8254cf3b0e39da12fcfd07083813671316ecdcbfc70429742e89cf7b2b4093b773bb0b
-EBUILD kodkodi-1.5.2.ebuild 3015 SHA256 76be87fb6317ac34f8efc47e5203c2159a9788aa22392185d12b45de1e140246 SHA512 2d67f825dd4060055268e175888bc57a9ab13dbc5dd50bc93549384225d96e610e7f7084a69a952058a89c3fa848e2c88f5756002d66605ac13bb6a1dc011908 WHIRLPOOL 574a8c70696c41750ba3a6ede003093c08ce40122d614c2870b4e212067614a1d7185221ff4bc8da3028764164f3735e76a4a5e1935acfb0846f8116e1e8ca3a
+EBUILD kodkodi-1.5.2.ebuild 3121 SHA256 d8f5d029dbfc31dab30248ac66a8e08ec4cf99bddabdeaebcc1b89506c28d1df SHA512 b9697ff679248a68ca4ef3374457ef93d18d5b8bc1b770a5df156697f1129dd2d9a570664aa8701e13c6c6ba81aadf4ac7f97fc056cff80f9838414dde1c5b4e WHIRLPOOL 55a4e658137dc30d70576b4421df3a4ff6cfbe4cbe9b901b56c833e71113c0a0ac0aa99db2f9081f64e9a6387f053236b800d3a02244d855167b586465fe741c
+MISC ChangeLog 424 SHA256 2406d88e4730f3f202da76c89daf606a1125a655114f38496c132a62a6a44185 SHA512 cf93924384f91e72e993b188026c2174107ac52d3cc18fb81c48d13602b6100637f88b0c0cebd5e803b5da7bf28370d00f1b10febc35c8bbb978358298608480 WHIRLPOOL 5fd0bafdb2b03cb8db55a391ce18ff6efb4aed64ba59dd67882cff6bdbf1e3a356bd58b7587f948beaa7fb5091edfeabe95676b6cd8eab1e64f895fa49542763
 MISC metadata.xml 431 SHA256 2a8f7fed68c025a7c1661df307801ae8aa463602c027ad0c889b21b00489002f SHA512 9646f7201659da20382bdfee31bbab2536c95ebe539c5567759b9021e7c959cf2a8caa24bb1c8f92a92a568b3c7e5049baffccb8afa657365fc2dc4a1f56fc30 WHIRLPOOL 2190ae43ae0a8fd80fe24a6d487cdb8cc05deeea204c11c4d51381d03481b8ad0ea21d8849c8ac52b9e93dc969e07b4dd5ed40f4824bfbc8862cacc5cb6c4c6c
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.19 (GNU/Linux)
+
+iF4EAREIAAYFAlC/JYQACgkQoBEVQmGOlx9UbQEA0JzTnFSFjcnTdPftggHx0pJ2
+Yw4WAvP8MmFUmP0YW/QA/R3Rc4S77Cn6T4G9dFTgmnZlXY597mROQKL4SCNHDrmx
+=8XEz
+-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/kodkodi/kodkodi-1.5.2.ebuild b/sci-mathematics/kodkodi/kodkodi-1.5.2.ebuild
new file mode 100644
index 000000000000..1296bc738a9c
--- /dev/null
+++ b/sci-mathematics/kodkodi/kodkodi-1.5.2.ebuild
@@ -0,0 +1,112 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkodi/kodkodi-1.5.2.ebuild,v 1.1 2012/12/05 10:44:14 gienah Exp $
+
+EAPI="5"
+
+JAVA_PKG_IUSE="doc source"
+
+inherit java-pkg-2 java-pkg-simple multilib
+
+DESCRIPTION="A text front-end for the Kodkod Java library."
+HOMEPAGE="http://www21.in.tum.de/~blanchet/#software"
+SRC_URI="http://www21.in.tum.de/~blanchet/${P}.tgz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="isabelle examples"
+
+COMMON_DEP=""
+RDEPEND="${COMMON_DEP}
+	=dev-java/antlr-3*:3
+	isabelle? (
+		>=sci-mathematics/isabelle-2011-r1:=
+	)
+	=sci-mathematics/kodkod-1.5*:=
+	>=virtual/jre-1.6"
+DEPEND="${COMMON_DEP}
+	>=virtual/jdk-1.6
+	app-arch/unzip"
+
+S="${WORKDIR}/${P}"
+
+java_prepare() {
+	find \( -name 'kodkod*.jar' -o -name 'sat4j*.jar' \) -exec rm -v {} + || die
+}
+
+src_prepare() {
+	sed -e 's@exec "$ISABELLE_TOOL" java $KODKODI_JAVA_OPT@java@' \
+		-i "${S}/bin/kodkodi" || die "Could not patch bin/kodkodi"
+}
+
+src_compile() {
+	JAVA_SRC_DIR="src"
+	JAVA_GENTOO_CLASSPATH="kodkod"
+	JAVA_CLASSPATH_EXTRA="$(java-config --classpath=antlr:3)"
+
+	TARGETDIR="/usr/share/${P}"
+	KODKOD_LIBDIR="/usr/"$(get_libdir)"/kodkod"
+
+	java-pkg-simple_src_compile
+
+	pushd "${S}/target/classes" > /dev/null || die
+	jar -uf "${S}"/${PN}.jar $(find -name '*.class') || die
+	popd > /dev/null
+}
+
+src_install() {
+	java-pkg-simple_src_install
+	dodoc README HISTORY manual/${PN}.pdf LICENSES/Kodkodi
+	insinto ${TARGETDIR}
+	if use examples; then
+		doins -r examples
+	fi
+
+	if use isabelle; then
+		ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \
+			|| die "isabelle getenv ISABELLE_HOME failed"
+		[[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
+		dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
+		cat <<- EOF >> "${S}/settings"
+			KODKODI="\$COMPONENT"
+			KODKODI_VERSION="${PV}"
+			KODKODI_PLATFORM=\$ISABELLE_PLATFORM
+			KODKODI_CLASSPATH="$(java-config --classpath=antlr:3):${ROOT}usr/share/${PN}-${SLOT}/lib/kodkodi.jar:$(java-config --classpath=kodkod)"
+			KODKODI_JAVA_LIBRARY_PATH="${KODKOD_LIBDIR}"
+		EOF
+		insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
+		doins "${S}/settings"
+		dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/bin"
+		exeinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/bin"
+		doexe bin/kodkodi
+	fi
+}
+
+pkg_postinst() {
+	if use isabelle; then
+		if [ -f "${ROOT}etc/isabelle/components" ]; then
+			if egrep "contrib/${PN}-[0-9.]*" "${ROOT}etc/isabelle/components"; then
+				sed -e "/contrib\/${PN}-[0-9.]*/d" \
+					-i "${ROOT}etc/isabelle/components"
+			fi
+			cat <<- EOF >> "${ROOT}etc/isabelle/components"
+				contrib/${PN}-${PV}
+			EOF
+		fi
+	fi
+}
+
+pkg_postrm() {
+	if use isabelle; then
+		if [ ! -f "${ROOT}usr/bin/kodkodi" ]; then
+			if [ -f "${ROOT}etc/isabelle/components" ]; then
+				# Note: this sed should only match the version of this ebuild
+				# Which is what we want as we do not want to remove the line
+				# of a new kodkodi being installed during an upgrade.
+				sed -e "/contrib\/${PN}-${PV}/d" \
+					-i "${ROOT}etc/isabelle/components"
+			fi
+		fi
+	fi
+}
diff --git a/sci-mathematics/kodkodi/metadata.xml b/sci-mathematics/kodkodi/metadata.xml
new file mode 100644
index 000000000000..44ed58e67d6c
--- /dev/null
+++ b/sci-mathematics/kodkodi/metadata.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer>
+  <email>gienah@gentoo.org></email>
+</maintainer>
+<herd>sci-mathematics</herd>
+<longdescription lang='en'>
+A text front-end for the Kodkod Java library.
+</longdescription>
+<use>
+  <flag name='isabelle'>Add integration support for the Isabelle/HOL
+  theorem prover.</flag>
+</use>
+</pkgmetadata>