From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id B61B3139085 for ; Mon, 2 Jan 2017 22:57:02 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0500DE0CF0; Mon, 2 Jan 2017 22:57:02 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id C1ABFE0CF0 for ; Mon, 2 Jan 2017 22:57:01 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 8BBD2341016 for ; Mon, 2 Jan 2017 22:57:00 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 2A68724EF for ; Mon, 2 Jan 2017 22:56:59 +0000 (UTC) From: "Mark Wright" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Mark Wright" Message-ID: <1483397794.19b9e13e55f4af44d2fceaad481c004797a126ec.gienah@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/kodkodi/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild X-VCS-Directories: sci-mathematics/kodkodi/ X-VCS-Committer: gienah X-VCS-Committer-Name: Mark Wright X-VCS-Revision: 19b9e13e55f4af44d2fceaad481c004797a126ec X-VCS-Branch: master Date: Mon, 2 Jan 2017 22:56:59 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: fb98659c-4350-4d11-9c60-34457848f462 X-Archives-Hash: b94d78c934251355493b166e0d12a963 commit: 19b9e13e55f4af44d2fceaad481c004797a126ec Author: Mark Wright gentoo org> AuthorDate: Mon Jan 2 22:56:34 2017 +0000 Commit: Mark Wright gentoo 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 +}