Magellan Linux

  • Back to homepage
    • /[smage]/trunk/core/ppl/ppl-0.12.1-r1.smage2

    Annotation of /trunk/core/ppl/ppl-0.12.1-r1.smage2

    Parent Directory Parent Directory | Revision Log Revision Log

    Revision 12580 - (hide annotations) (download)
    Tue Jun 12 14:08:47 2012 UTC (12 years ago) by niro
    File size: 3037 byte(s) 
    -disabled src_check atm
    1 niro 12571 # $Id$
    2    
    3     PNAME="ppl"
    4     PVER="0.12.1"
    5     PBUILD="r1"
    6    
    7     PCAT="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.2
    22     >= sys-libs/libstdc++-4.6"
    23    
    24     SRCFILE="${PNAME}-${PVER}.tar.bz2"
    25     SRCDIR="${BUILDDIR}/${PNAME}-${PVER}"
    26    
    27     sminclude mtools multilib
    28 niro 12580 # only atm, remove me at the final build
    29     msetfeature "!check"
    30 niro 12571
    31     SRC_URI=(
    32     ftp://ftp.cs.unipr.it/pub/ppl/releases/${PVER}/${SRCFILE}
    33     mirror://${PNAME}/${SRCFILE}
    34     )
    35    
    36     UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ | lasttarball"
    37    
    38     src_compile()
    39     {
    40    
    41     # speed src_check up
    42     local myopts
    43     mqueryfeature "!check" || myopts="--enable-check=quick"
    44    
    45     mconfigure \
    46     --docdir=/usr/share/doc/${PNAME}-${PVER} \
    47     --enable-shared \
    48     --disable-static \
    49     --disable-optimization \
    50 niro 12573 --enable-interfaces="c cxx" \
    51 niro 12571 ${myopts} \
    52     || die
    53    
    54     mmake || die
    55     }
    56    
    57     src_install()
    58     {
    59     mmake DESTDIR=${BINDIR} install || die
    60    
    61     if [[ ${ARCH} = x86_64 ]]
    62     then
    63     # move the header
    64     all-abis minstallfile src/ppl.hh /usr/include/ppl-$(mabi).hh || die
    65 niro 12575 all-abis minstallfile src/ppl_c.h /usr/include/ppl_c-$(mabi).h || die
    66     all-abis minstallfile src/pwl.hh /usr/include/pwl-$(mabi).hh || die
    67 niro 12571 # move the config program
    68     all-abis minstallexec src/.libs/ppl-config /usr/bin/ppl-config-$(mabi) || die
    69    
    70     # create a wrapper header
    71 niro 12575 cat > ${BINDIR}/usr/include/ppl.hh << "EOF"
    72     /* ppl.hh - Stub Header */
    73 niro 12571 #ifndef __STUB__PPL_HH__
    74     #define __STUB__PPL_HH__
    75    
    76     #if defined(__x86_64__) || \
    77     defined(__sparc64__) || \
    78     defined(__arch64__) || \
    79     defined(__powerpc64__) || \
    80     defined (__s390x__)
    81 niro 12575 # include "ppl-m64.hh"
    82 niro 12571 #else
    83 niro 12575 # include "ppl-m32.hh"
    84 niro 12571 #endif
    85    
    86     #endif /* __STUB__PPL_HH__ */
    87     EOF
    88 niro 12575 cat > ${BINDIR}/usr/include/ppl_c.h << "EOF"
    89     /* ppl_c.h - Stub Header */
    90     #ifndef __STUB__PPL_C_H__
    91     #define __STUB__PPL_C_H__
    92    
    93     #if defined(__x86_64__) || \
    94     defined(__sparc64__) || \
    95     defined(__arch64__) || \
    96     defined(__powerpc64__) || \
    97     defined (__s390x__)
    98     # include "ppl_c-m64.h"
    99     #else
    100     # include "ppl_c-m32.h"
    101     #endif
    102    
    103     #endif /* __STUB__PPL_C_H__ */
    104     EOF
    105     cat > ${BINDIR}/usr/include/ppl.hh << "EOF"
    106     /* pwl.hh - Stub Header */
    107     #ifndef __STUB__PWL_HH__
    108     #define __STUB__PWL_HH__
    109    
    110     #if defined(__x86_64__) || \
    111     defined(__sparc64__) || \
    112     defined(__arch64__) || \
    113     defined(__powerpc64__) || \
    114     defined (__s390x__)
    115     # include "pwl-m64.hh"
    116     #else
    117     # include "pwl-m32.hh"
    118     #endif
    119    
    120     #endif /* __STUB__PWL_HH__ */
    121     EOF
    122 niro 12571 # install the multiarch-wrapper
    123     minstalldir /usr/bin || die
    124     mlink multiarch-wrapper /usr/bin/ppl-config || die
    125     fi
    126    
    127     minstalldocs AUTHORS COPYING* ChangeLog NEWS README || die
    128     }