commit:     3d648c56def3ca2c73bb0d9eaa64cc6a01b53b9d
Author:     Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Sun Apr  8 16:57:49 2018 +0000
Commit:     Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Mon Apr  9 00:09:19 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3d648c56

sci-mathematics/kodkod: remove old

 sci-mathematics/kodkod/kodkod-1.5.2.ebuild | 143 -----------------------------
 1 file changed, 143 deletions(-)

diff --git a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild 
b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
deleted file mode 100644
index 230c75396a8..00000000000
--- a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild
+++ /dev/null
@@ -1,143 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-JAVA_PKG_IUSE="doc source"
-PYTHON_COMPAT=( python2_7 )
-PYTHON_REQ_USE='threads(+)'
-
-inherit eutils java-pkg-2 python-any-r1 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
-       https://waf.googlecode.com/files/waf-1.7.16";
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-
-COMMON_DEP="${PYTHON_DEPS}"
-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}"
-
-pkg_setup() {
-       python-any-r1_pkg_setup
-       java-pkg-2_pkg_setup
-}
-
-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"
-       # Fix bug 453162 - sci-mathematics/kodkod-1.5.2: fails to build
-       epatch 
"${FILESDIR}/${PN}-1.5.2-changes-in-most-specific-varargs-method-selection.patch"
-
-       # Fix Bug 458462 sci-mathematics/kodkod-1.5.2: fails to build with 
JAVA_PKG_STRICT
-       local x=""
-       for i in $JAVACFLAGS
-       do
-               if [ "${x}" == "" ]; then
-                       x="'${i}'"
-               else
-                       x="${x}, '${i}'"
-               fi
-       done
-       for j in $(find . -name wscript -print)
-       do
-               sed -e "s@def configure(conf):@def configure(conf):\n    
conf.env.JAVACFLAGS = [${x}]@" \
-                       -i "${j}" \
-                       || die "Could not set JAVACFLAGS in ${j}"
-       done
-}
-
-# 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_compile() {
-       waf-utils_src_compile
-       if has doc ${JAVA_PKG_IUSE} && use doc; then
-               pushd src/kodkod || die "Could not cd to src/kodkod"
-               local doclint="-Xdoclint:none"
-               local jv="$(javac -version 2>&1 | cut -d' ' -f 2)"
-               if [[ "${jv}" == 1.6* ]] || [[ "${jv}" == 1.7* ]]; then
-                       doclint=""
-               fi
-               javadoc ${doclint} -sourcepath 
"${S}"/src/kodkod:"${S}"/build/src/kodkod \
-                       -classpath $(find "${PWD}" -name \*.jar -print | xargs 
| sed -e 's@ @:@g') \
-                       $(find . -name \*.java -print) \
-                       || die "javadoc failed"
-               popd
-       fi
-}
-
-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
-
-       # 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
-}

Reply via email to