Magellan Linux

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

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

    Parent Directory Parent Directory | Revision Log Revision Log

    Revision 12580 - (show annotations) (download)
    Tue Jun 12 14:08:47 2012 UTC (11 years, 11 months ago) by niro
    File size: 3037 byte(s) 
    -disabled src_check atm
    1 # $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 # only atm, remove me at the final build
    29 msetfeature "!check"
    30
    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 --enable-interfaces="c cxx" \
    51 ${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 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 # 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 cat > ${BINDIR}/usr/include/ppl.hh << "EOF"
    72 /* ppl.hh - Stub Header */
    73 #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 # include "ppl-m64.hh"
    82 #else
    83 # include "ppl-m32.hh"
    84 #endif
    85
    86 #endif /* __STUB__PPL_HH__ */
    87 EOF
    88 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 # 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 }