Annotation of /smage/trunk/core/ppl/ppl-0.10.2-r3.smage2
Parent Directory | Revision Log
Revision 618 -
(hide annotations)
(download)
Tue Oct 19 16:04:31 2010 UTC (13 years, 7 months ago) by niro
File size: 2107 byte(s)
Tue Oct 19 16:04:31 2010 UTC (13 years, 7 months ago) by niro
File size: 2107 byte(s)
auto added: ver bump to 0.10.2-r3
1 | niro | 618 | # $Id$ |
2 | |||
3 | PNAME="ppl" | ||
4 | PVER="0.10.2" | ||
5 | PBUILD="r3" | ||
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 | } |