# $Id$ PNAME="ppl" PVER="0.10.2" PBUILD="r5" PCATEGORIE="dev-libs" STATE="unstable" DESCRIPTION="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems." HOMEPAGE="http://www.cs.unipr.it/ppl/" # do not depend on glibc, as it depends ob libstdc++ and this wants mpc # as SRCDEPEND -> this may generate loops # x86_64 specific dependencies DEPEND_x86_64=">= sys-apps/multiarch-wrapper-1" SPECIAL_VARS="DEPEND_x86_64" DEPEND="\$(eval echo \\\$DEPEND_\${ARCH/i*86/x86} | tr ';' '\n') >= dev-libs/gmp-5.0.1" SRCFILE="${PNAME}-${PVER}.tar.bz2" SRCDIR="${BUILDDIR}/${PNAME}-${PVER}" sminclude mtools multilib mcore SRC_URI=( ftp://ftp.cs.unipr.it/pub/ppl/releases/${PVER}/${SRCFILE} mirror://${PNAME}/${SRCFILE} ) UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ | lasttarball" src_prepare() { munpack ${SRCFILE} || die # fixes detection of newer gmp versions all-abis 'sed -i "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" configure' || die } src_compile() { mconfigure \ --docdir=/usr/share/doc/${PNAME}-${PVER} \ --enable-shared \ --disable-static \ --disable-optimization \ || die mmake || die } src_install() { mmake DESTDIR=${BINDIR} install || die if [[ ${ARCH} = x86_64 ]] then # move the header all-abis minstallfile src/ppl.hh /usr/include/ppl-$(mabi).hh || die # move the config program all-abis minstallexec src/.libs/ppl-config /usr/bin/ppl-config-$(mabi) || die # create a wrapper header cat > ${BINDIR}/usr/include/ppl.h << "EOF" /* ppl.h - Stub Header */ #ifndef __STUB__PPL_HH__ #define __STUB__PPL_HH__ #if defined(__x86_64__) || \ defined(__sparc64__) || \ defined(__arch64__) || \ defined(__powerpc64__) || \ defined (__s390x__) # include "ppl-m64.h" #else # include "ppl-m32.h" #endif #endif /* __STUB__PPL_HH__ */ EOF # install the multiarch-wrapper minstalldir /usr/bin || die mlink multiarch-wrapper /usr/bin/ppl-config || die fi minstalldocs AUTHORS COPYING* ChangeLog NEWS README || die }