reinit the tree, so we can have metadata

4 files changed, 238 insertions, 0 deletions

diff --git a/sci-mathematics/kodkodi/Manifest b/sci-mathematics/kodkodi/Manifest
new file mode 100644
index 000000000000..d2544d8c0c27
--- /dev/null
+++ b/sci-mathematics/kodkodi/Manifest
@@ -0,0 +1,6 @@
+DIST kodkodi-1.5.2.tgz 2826648 SHA256 1518d75f3748aa7c791623ff1508b4202f14d744e13b9bd41abf575429caa2b7 SHA512 117e0f1b3e3ee88efb9a9e2f02e8a7ce82a3487528ad0476acf20fafd885d3d48c051bd4a8cb6aa5cda61f24dfa74159448b83398be4119e726e757f6ff3aad4 WHIRLPOOL f331b423b2ad430b59f425d799c3991dccf0e5e9018015f12c30be851f8254cf3b0e39da12fcfd07083813671316ecdcbfc70429742e89cf7b2b4093b773bb0b
+EBUILD kodkodi-1.5.2-r1.ebuild 2893 SHA256 2137673566d857beceec8a5257e366f6f7796180235e57b67be97b2f17f07cb8 SHA512 b7a36e799ed2b0a96a28662f5e0e98c56fcdbac4e85e090b83f30f941300c8cf572a6125b6193abf50341f17ad379db397063aa17aec64b4f8135bd8fb06b0a9 WHIRLPOOL 2edf56afcd9adcb58436d39b6b573d8f62a2c3772f6a5f5e5f0d3bad26fb453952e962677bc871603925e1aed2fb93466e1041185a39ad5a9322f220c794e856
+EBUILD kodkodi-1.5.2.ebuild 2895 SHA256 ad68d5dddedcaafdd6fda1742422dd4dba94ea5e4a67e7abff60ddbb7df71bcd SHA512 186712deb7f8723099aa33a9ddcd26d69c0bee4b69fe1da0f407aba110a08cb7019ade2cfcbb9dffd389c3f55022b00a05545dd8a17b6a6da826cafe8aa5f631 WHIRLPOOL d763705b1aec881893459f3e68593e77f172ed3e7946b71932c9d20ec1b79650989d6021987af70d720ac37b457f27135a963a54ee67207878b2fcae8f5b3e87
+MISC ChangeLog 2827 SHA256 732d7958c480db89ceeeaee294e93166c0972d74b5bd7386014d878bdc2ed1bb SHA512 1df49d5eea38e7c009a0e4539e6a0844724a1bd497ab76c0ff235d927701aedf6b59c8808a69872156dc78a04e85a24d45d0040d6334d0af8f9bc2a961aebdb5 WHIRLPOOL 52287c1e5847958cadc46ff69f9f28d0e1189829600d5dd9feca1001bd5e90627c5f05fdf193263315d47d8fcad3948284570172b5aab4c4faaeea855c46472c
+MISC ChangeLog-2015 899 SHA256 12523e70f4fa56993d9ba08f770be9b5c6841b5084f50588d14872b7e887920d SHA512 2f336f10a94b9c1a80ff402ec1022571c39204db1262898e908c289dfddbf1f9c61127646f94a428d722e1ad058590a0bb345193fa93af124ce64bb512979142 WHIRLPOOL 2196d36752d534bb31d0225b5c1daf5adb2a7c3c645102561752212717d58e97e007dc25bd4a413f3f556e3b59e512528fa0809e1230953cb6be36061a2b997b
+MISC metadata.xml 570 SHA256 b2ff8b295df6d32e8d009c380a770f37ca724f727f54e17ec205111fceff3a14 SHA512 e41523244a6503726c4e81500011d26554e709d6eb670005f761fa6fe82c3243b0f5eb2840f83c242cd376763cc467d40049bbb53cef856724f04f9ab2a1c251 WHIRLPOOL 841b537fdbcb8e9a48956f443b2815b40b6a1e4ae1571f6302b365ec4ef415e758dd39a7de0dd205e980808465da131171abeb2e72c87da00c0956c0fe7ae16b
diff --git a/sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild b/sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild
new file mode 100644
index 000000000000..18f9e89ca3e1
--- /dev/null
+++ b/sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="6"
+
+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="dev-java/antlr:3
+	=sci-mathematics/kodkod-1.5*:="
+RDEPEND="${COMMON_DEP}
+	isabelle? (
+		sci-mathematics/isabelle:=
+	)
+	>=virtual/jre-1.6"
+DEPEND="${COMMON_DEP}
+	>=virtual/jdk-1.6
+	app-arch/unzip"
+
+S="${WORKDIR}/${P}"
+
+JAVA_GENTOO_CLASSPATH="kodkod,antlr-3"
+
+src_prepare() {
+	default
+	sed -e 's@exec "$ISABELLE_TOOL" java $KODKODI_JAVA_OPT@java@' \
+		-i "${S}/bin/kodkodi" || die "Could not patch bin/kodkodi"
+	rm -f jar/*.jar || die "Could not rm jar files"
+}
+
+src_compile() {
+	JAVA_SRC_DIR="src"
+	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/kodkodi-1.5.2.ebuild b/sci-mathematics/kodkodi/kodkodi-1.5.2.ebuild
new file mode 100644
index 000000000000..9041007f4db1
--- /dev/null
+++ b/sci-mathematics/kodkodi/kodkodi-1.5.2.ebuild
@@ -0,0 +1,106 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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="dev-java/antlr:3
+	=sci-mathematics/kodkod-1.5*:="
+RDEPEND="${COMMON_DEP}
+	isabelle? (
+		>=sci-mathematics/isabelle-2011-r1:=
+	)
+	>=virtual/jre-1.6"
+DEPEND="${COMMON_DEP}
+	>=virtual/jdk-1.6
+	app-arch/unzip"
+
+S="${WORKDIR}/${P}"
+
+JAVA_GENTOO_CLASSPATH="kodkod,antlr-3"
+
+java_prepare() {
+	sed -e 's@exec "$ISABELLE_TOOL" java $KODKODI_JAVA_OPT@java@' \
+		-i "${S}/bin/kodkodi" || die "Could not patch bin/kodkodi"
+	rm -f jar/*.jar || die "Could not rm jar files"
+}
+
+src_compile() {
+	JAVA_SRC_DIR="src"
+	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..28c187d2755b
--- /dev/null
+++ b/sci-mathematics/kodkodi/metadata.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer type="person">
+  <email>gienah@gentoo.org</email>
+  <name>Mark Wright</name>
+</maintainer>
+<maintainer type="project">
+  <email>sci-mathematics@gentoo.org</email>
+  <name>Gentoo Mathematics Project</name>
+</maintainer>
+<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>