Magellan Linux

  • Back to homepage
    • /[mcore-svn]/smage/trunk/core/ppl/ppl-0.10.2-r5.smage2

    Annotation of /smage/trunk/core/ppl/ppl-0.10.2-r5.smage2

    Parent Directory Parent Directory | Revision Log Revision Log

    Revision 1358 - (hide annotations) (download)
    Mon Feb 28 21:45:11 2011 UTC (13 years, 2 months ago) by niro
    File size: 2107 byte(s) 
    -reverted changes
    1 niro 1358 # $Id$
    2    
    3     PNAME="ppl"
    4     PVER="0.10.2"
    5     PBUILD="r5"
    6    
    7     PCATEGORIE="dev-libs"
    8     STATE="unstable"
    9    
    10     DESCRIPTION="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."
    11     HOMEPAGE="http://www.cs.unipr.it/ppl/"
    12    
    13     # do not depend on glibc, as it depends ob libstdc++ and this wants mpc
    14     # as SRCDEPEND -> this may generate loops
    15    
    16     # x86_64 specific dependencies
    17     DEPEND_x86_64=">= sys-apps/multiarch-wrapper-1"
    18     SPECIAL_VARS="DEPEND_x86_64"
    19    
    20     DEPEND="\$(eval echo \\\$DEPEND_\${ARCH/i*86/x86} | tr ';' '\n')
    21     >= dev-libs/gmp-5.0.1"
    22    
    23     SRCFILE="${PNAME}-${PVER}.tar.bz2"
    24     SRCDIR="${BUILDDIR}/${PNAME}-${PVER}"
    25    
    26     sminclude mtools multilib mcore
    27    
    28     SRC_URI=(
    29     ftp://ftp.cs.unipr.it/pub/ppl/releases/${PVER}/${SRCFILE}
    30     mirror://${PNAME}/${SRCFILE}
    31     )
    32    
    33     UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ | lasttarball"
    34    
    35     src_prepare()
    36     {
    37     munpack ${SRCFILE} || die
    38    
    39     # fixes detection of newer gmp versions
    40     all-abis 'sed -i "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" configure' || die
    41     }
    42    
    43     src_compile()
    44     {
    45     mconfigure \
    46     --docdir=/usr/share/doc/${PNAME}-${PVER} \
    47     --enable-shared \
    48     --disable-static \
    49     --disable-optimization \
    50     || die
    51    
    52     mmake || die
    53     }
    54    
    55     src_install()
    56     {
    57     mmake DESTDIR=${BINDIR} install || die
    58    
    59     if [[ ${ARCH} = x86_64 ]]
    60     then
    61     # move the header
    62     all-abis minstallfile src/ppl.hh /usr/include/ppl-$(mabi).hh || die
    63     # move the config program
    64     all-abis minstallexec src/.libs/ppl-config /usr/bin/ppl-config-$(mabi) || die
    65    
    66     # create a wrapper header
    67     cat > ${BINDIR}/usr/include/ppl.h << "EOF"
    68     /* ppl.h - Stub Header */
    69     #ifndef __STUB__PPL_HH__
    70     #define __STUB__PPL_HH__
    71    
    72     #if defined(__x86_64__) || \
    73     defined(__sparc64__) || \
    74     defined(__arch64__) || \
    75     defined(__powerpc64__) || \
    76     defined (__s390x__)
    77     # include "ppl-m64.h"
    78     #else
    79     # include "ppl-m32.h"
    80     #endif
    81    
    82     #endif /* __STUB__PPL_HH__ */
    83     EOF
    84     # install the multiarch-wrapper
    85     minstalldir /usr/bin || die
    86     mlink multiarch-wrapper /usr/bin/ppl-config || die
    87     fi
    88    
    89     minstalldocs AUTHORS COPYING* ChangeLog NEWS README || die
    90     }