Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-mathematics/isabelle nitpick couter-example checking.

(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

4 files changed, 133 insertions, 0 deletions

diff --git a/sci-mathematics/kodkod/ChangeLog b/sci-mathematics/kodkod/ChangeLog
new file mode 100644
index 000000000000..d0a939cc146b
--- /dev/null
+++ b/sci-mathematics/kodkod/ChangeLog
@@ -0,0 +1,10 @@
+# ChangeLog for sci-mathematics/kodkod
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/ChangeLog,v 1.1 2012/12/05 10:41:32 gienah Exp $
+
+*kodkod-1.5.2 (05 Dec 2012)
+
+  05 Dec 2012; Mark Wright <gienah@gentoo.org> +kodkod-1.5.2.ebuild,
+  +metadata.xml:
+  Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-
+  mathematics/isabelle nitpick couter-example checking.
diff --git a/sci-mathematics/kodkod/Manifest b/sci-mathematics/kodkod/Manifest
new file mode 100644
index 000000000000..a9036dda07ce
--- /dev/null
+++ b/sci-mathematics/kodkod/Manifest
@@ -0,0 +1,4 @@
+DIST kodkod-1.5.2.zip 2092639 SHA256 c54e2181f1e094bf34d52d3ab47b313c4d4464dc25c2cbb3ffd80929d1004a41 SHA512 d55d84e1daabe37c6994fd434c157d5eaecd1d0b2bbe4ab5a2d5e0e529a378d0cb8dc1eac5b89336706f899b23b9682dfd1033f4a2caec76485b12966e091df0 WHIRLPOOL 9919b7bb4de3cf8d53804cfb4a8c5874575acadc6fc7f0afcabd31847947e2f1f77ffb5565fe283088bafb9421fdc8d1245243a58e7f5d97004ecf66d7f1ac12
+DIST waf-1.7.6 89646 SHA256 99a8ae36d856da288308388a349aae4264afee09edb2e7dfedbcfcddc83c0609 SHA512 b068dfa54092fd845112c8a1db7cda449c905bdc5fd31c04c8330e54c29aa5119c36c9fd0562172dd389dbc87eae41d7a54be1f3757a52228c1f204934c96d76 WHIRLPOOL 5bb74c776c0584ea69ae5a65eea0e342f9e66156811e4a5047f24e79be6a48c6bae8da680bf3ca01aead082419ce324a555d6aece3bb8976c59e3d5556a12926
+EBUILD kodkod-1.5.2.ebuild 2632 SHA256 11cbec05849d07d426a5a62a7d5bf1436a3a163b933010517a3a37720f779a0b SHA512 40f6db271bba995faaed4606828dce685f6d1bb43423afdefc78029a9d717862d3750ed840edc29c5db912219050725d453ede7913cc2d5a34e2170e0486afda WHIRLPOOL 5168b94b62268b7a173cfb06e9ca29a897513276b79042d4639477ef06dae79f4531679eb0a240ecd6c0148a44db51a2a0c7336384310d976c0cfd0b9400c36a
+MISC metadata.xml 799 SHA256 676ebe114ca3392d4e8cd5368ed8fc29ea4f6ab68da96655847635866e96847d SHA512 495f6b7a27b3cd600432f1f070c470681d33c4a7759e9af19cc09a7f37d4fc14ee4cc560ba6da49000a934780ada394d9768eddab28fc0cdabb40f133e7cbf8d WHIRLPOOL 79c2f897bb17d1671fe77ae307d1ec74c3cc66461e8433f60b2dcc2f2bcf21f37a14babedcba0955f22920c99c58ffbd3ebc3471ee9bed6243f6d16905667ba4
diff --git a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
new file mode 100644
index 000000000000..b84e8c69deef
--- /dev/null
+++ b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
@@ -0,0 +1,101 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/kodkod-1.5.2.ebuild,v 1.1 2012/12/05 10:41:32 gienah Exp $
+
+EAPI="5"
+
+JAVA_PKG_IUSE="doc source"
+
+inherit java-pkg-2 waf-utils
+
+DESCRIPTION="a constraint solver for relational logic"
+HOMEPAGE="http://alloy.mit.edu/kodkod/index.html"
+SRC_URI="http://alloy.mit.edu/kodkod/${PV}/${P}.zip
+	http://waf.googlecode.com/files/waf-1.7.6"
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+COMMON_DEP=""
+RDEPEND="${COMMON_DEP}
+	>=virtual/jre-1.6"
+DEPEND="${COMMON_DEP}
+	>=virtual/jdk-1.6
+	app-arch/unzip"
+
+S="${WORKDIR}/kodkod-1.5"
+
+JAVA_SRC_DIR="src"
+LIBDIR="/usr/"$(get_libdir)"/${PN}"
+
+src_unpack() {
+	unpack "${A% *}"
+	cp "${DISTDIR}/${A#* }" "${S}/waf" || die "Could not copy waf"
+}
+
+src_prepare() {
+	java-pkg-2_src_prepare
+	chmod u+x waf \
+		|| die "Could not set execute permisions on waf file"
+	sed -e 's@private N parent, left, right@protected N parent, left, right@' \
+		-e 's@private boolean color@protected boolean color@' \
+		-i "${S}/src/kodkod/util/ints/IntTree.java" \
+		|| die "Could not change private to protected in IntTree.java"
+	sed -e 's@conf.env.LINKFLAGS =@conf.env.LINKFLAGS +=@' \
+		-i "${S}/lib/cryptominisat-2.9.1/wscript" \
+		-i "${S}/lib/lingeling-276/wscript" \
+		|| die "Could not fix wscripts to respect LDFLAGS"
+
+}
+
+# note: kodkod waf fails when passed --libdir:
+# waf: error: no such option: --libdir
+src_configure() {
+	${WAF_BINARY:="${S}/waf"}
+
+	tc-export AR CC CPP CXX RANLIB
+	echo "CCFLAGS=\"${CFLAGS}\" LINKFLAGS=\"${LDFLAGS}\" \"${WAF_BINARY}\" --prefix=${EPREFIX}/usr $@ configure"
+
+	CCFLAGS="${CFLAGS}" LINKFLAGS="${LDFLAGS}" "${WAF_BINARY}" \
+		"--prefix=${EPREFIX}/usr" \
+		"$@" \
+		configure || die "configure failed"
+}
+
+src_install() {
+	insinto "/usr/"$(get_libdir)
+	dodir ${LIBDIR}
+	exeinto ${LIBDIR}
+	for i in $(find . \( -name \*.so -o -name plingeling \) -print | xargs); do
+		doexe $i
+	done
+
+	for i in $(find . \( -name kodkod.jar -o -name org.sat4j.core.jar \) -print | xargs); do
+		einfo "java-pkg_dojar $i"
+		java-pkg_dojar $i
+	done
+	dosym "/usr/share/${PN}-${SLOT}/package.env" "/usr/share/${PN}/package.env"
+
+	# javadoc
+	if has doc ${JAVA_PKG_IUSE} && use doc; then
+		java-pkg_dojavadoc src/kodkod
+	fi
+
+	# dosrc
+	if has source ${JAVA_PKG_IUSE} && use source; then
+		local srcdirs=""
+		if [[ ${JAVA_SRC_DIR} ]]; then
+			local parent child
+			for parent in ${JAVA_SRC_DIR}; do
+				for child in ${parent}/*; do
+					srcdirs="${srcdirs} ${child}"
+				done
+			done
+		else
+			# take all directories actually containing any sources
+			srcdirs="$(cut -d/ -f1 ${sources} | sort -u)"
+		fi
+		java-pkg_dosrc ${srcdirs}
+	fi
+}
diff --git a/sci-mathematics/kodkod/metadata.xml b/sci-mathematics/kodkod/metadata.xml
new file mode 100644
index 000000000000..7e86d3ebe1d1
--- /dev/null
+++ b/sci-mathematics/kodkod/metadata.xml
@@ -0,0 +1,18 @@
+<?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'>
+Kodkod is an efficient SAT-based constraint solver for first order
+logic with relations, transitive closure, bit-vector arithmetic, and
+partial models. It provides analyses for both satisfiable and
+unsatisfiable problems: a finite model finder for the former and a
+minimal unsatisfiable core extractor for the latter. Kodkod is used in
+a wide range of applications, including code checking, test-case
+generation, declarative execution, declarative configuration, and
+lightweight analysis of Alloy, UML, and Isabelle/HOL.
+</longdescription>
+</pkgmetadata>