Magellan Linux

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

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

    Parent Directory Parent Directory | Revision Log Revision Log

    Revision 29720 - (hide annotations) (download)
    Tue Oct 10 07:18:10 2017 UTC (6 years, 7 months ago) by niro
    File size: 2480 byte(s) 
    -updated UP2DATE uri
    1 niro 27541 # $Id$
    2    
    3     PNAME="ppl"
    4     PVER="1.2"
    5     PBUILD="r1"
    6    
    7     PCAT="dev-libs"
    8    
    9     DESCRIPTION="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."
    10     HOMEPAGE="http://www.cs.unipr.it/ppl/"
    11    
    12     # do not depend on glibc, as it depends ob libstdc++ and this wants mpc
    13     # as SRCDEPEND -> this may generate loops
    14    
    15     # x86_64 specific dependencies
    16     DEPEND_x86_64=">= sys-apps/multiarch-wrapper-1"
    17     SPECIAL_VARS="DEPEND_x86_64"
    18    
    19     DEPEND="$(marchdepend)
    20     >= dev-libs/gmp-5.1
    21     >= sys-libs/libstdc++-4.8"
    22    
    23     SRCFILE="${PNAME}-${PVER}.tar.bz2"
    24     SRCDIR="${BUILDDIR}/${PNAME}-${PVER}"
    25    
    26     sminclude mtools multilib
    27    
    28     SRC_URI=(
    29     ftp://ftp.cs.unipr.it/pub/ppl/releases/${PVER}/${SRCFILE}
    30     mirror://${PNAME}/${SRCFILE}
    31     )
    32    
    33 niro 29720 UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ | highesttarball"
    34 niro 27541
    35     src_compile()
    36     {
    37    
    38     # speed src_check up
    39     local myopts
    40     mqueryfeature "!check" || myopts="--enable-check=quick"
    41    
    42     mconfigure \
    43     --docdir=/usr/share/doc/${PNAME}-${PVER} \
    44     --enable-shared \
    45     --disable-static \
    46     --disable-optimization \
    47     --enable-interfaces="c,cxx" \
    48     ${myopts} \
    49     || die
    50    
    51     mmake || die
    52     }
    53    
    54     src_install()
    55     {
    56     mmake DESTDIR=${BINDIR} install || die
    57    
    58     if [[ ${ARCH} = x86_64 ]]
    59     then
    60     # move the header
    61     all-abis minstallfile src/ppl.hh /usr/include/ppl-$(mabi).hh || die
    62     all-abis minstallfile src/ppl.hh /usr/include/ppl_c-$(mabi).h || 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.hh << "EOF"
    68     /* ppl.hh - 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.hh"
    78     #else
    79     # include "ppl-m32.hh"
    80     #endif
    81    
    82     #endif /* __STUB__PPL_HH__ */
    83     EOF
    84     cat > ${BINDIR}/usr/include/ppl_c.h << "EOF"
    85     /* ppl.hh - Stub Header */
    86     #ifndef __STUB__PPL_C_H__
    87     #define __STUB__PPL_C_H__
    88    
    89     #if defined(__x86_64__) || \
    90     defined(__sparc64__) || \
    91     defined(__arch64__) || \
    92     defined(__powerpc64__) || \
    93     defined (__s390x__)
    94     # include "ppl_c-m64.h"
    95     #else
    96     # include "ppl_c-m32.h"
    97     #endif
    98    
    99     #endif /* __STUB__PPL_C_H__ */
    100     EOF
    101    
    102     # install the multiarch-wrapper
    103     minstalldir /usr/bin || die
    104     mlink multiarch-wrapper /usr/bin/ppl-config || die
    105     fi
    106    
    107     minstalldocs AUTHORS COPYING* ChangeLog NEWS README || die
    108     }