141 lines
3.7 KiB
Bash
141 lines
3.7 KiB
Bash
# Copyright 1999-2017 Gentoo Foundation
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
# $Id$
|
|
|
|
EAPI="6"
|
|
|
|
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=""
|
|
|
|
COMMON_DEP=""
|
|
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"
|
|
|
|
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 "/usr/"$(get_libdir)"/${PN}"
|
|
exeinto "/usr/"$(get_libdir)"/${PN}"
|
|
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
|
|
}
|