commit: 19b9e13e55f4af44d2fceaad481c004797a126ec Author: Mark Wright <gienah <AT> gentoo <DOT> org> AuthorDate: Mon Jan 2 22:56:34 2017 +0000 Commit: Mark Wright <gienah <AT> gentoo <DOT> org> CommitDate: Mon Jan 2 22:56:34 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=19b9e13e
sci-mathematics/kodkodi: Update to EAPI="6" Package-Manager: portage-2.3.3 sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild | 108 ++++++++++++++++++++++++ 1 file changed, 108 insertions(+) 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 00000000..3a11b01 --- /dev/null +++ b/sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild @@ -0,0 +1,108 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +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 +}
