summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2017-01-03 09:56:34 +1100
committerMark Wright <gienah@gentoo.org>2017-01-03 09:56:34 +1100
commit19b9e13e55f4af44d2fceaad481c004797a126ec (patch)
tree77b70f0d3a2d749843c613c8687aabf0497b6181 /sci-mathematics/kodkodi
parentsci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to (diff)
downloadgentoo-19b9e13e55f4af44d2fceaad481c004797a126ec.tar.gz
gentoo-19b9e13e55f4af44d2fceaad481c004797a126ec.tar.bz2
gentoo-19b9e13e55f4af44d2fceaad481c004797a126ec.zip
sci-mathematics/kodkodi: Update to EAPI="6"
Package-Manager: portage-2.3.3
Diffstat (limited to 'sci-mathematics/kodkodi')
-rw-r--r--sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild108
1 files changed, 108 insertions, 0 deletions
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 00000000000..3a11b01304e
--- /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
+}