Annotation of /branches/R11-stable/core/ppl/ppl-1.1-r1.smage2
Parent Directory | Revision Log
Revision 20895 -
(hide annotations)
(download)
Thu Feb 13 10:10:09 2014 UTC (10 years, 4 months ago) by niro
Original Path: trunk/core/ppl/ppl-1.1-r1.smage2
File size: 2647 byte(s)
Thu Feb 13 10:10:09 2014 UTC (10 years, 4 months ago) by niro
Original Path: trunk/core/ppl/ppl-1.1-r1.smage2
File size: 2647 byte(s)
auto added: ver bump to 1.1-r1
1 | niro | 20895 | # $Id$ |
2 | |||
3 | PNAME="ppl" | ||
4 | PVER="1.1" | ||
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 | mirror://${PNAME}/${PNAME}-${PVER}-gmp51.patch | ||
32 | ) | ||
33 | |||
34 | UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ | lasttarball" | ||
35 | |||
36 | src_prepare() | ||
37 | { | ||
38 | munpack ${SRCFILE} || die | ||
39 | |||
40 | # fix build against gmp-5.1.x | ||
41 | mpatch ${PNAME}-${PVER}-gmp51.patch || die | ||
42 | } | ||
43 | |||
44 | src_compile() | ||
45 | { | ||
46 | |||
47 | # speed src_check up | ||
48 | local myopts | ||
49 | mqueryfeature "!check" || myopts="--enable-check=quick" | ||
50 | |||
51 | mconfigure \ | ||
52 | --docdir=/usr/share/doc/${PNAME}-${PVER} \ | ||
53 | --enable-shared \ | ||
54 | --disable-static \ | ||
55 | --disable-optimization \ | ||
56 | --enable-interfaces="c,cxx" \ | ||
57 | ${myopts} \ | ||
58 | || die | ||
59 | |||
60 | mmake || die | ||
61 | } | ||
62 | |||
63 | src_install() | ||
64 | { | ||
65 | mmake DESTDIR=${BINDIR} install || die | ||
66 | |||
67 | if [[ ${ARCH} = x86_64 ]] | ||
68 | then | ||
69 | # move the header | ||
70 | all-abis minstallfile src/ppl.hh /usr/include/ppl-$(mabi).hh || die | ||
71 | all-abis minstallfile src/ppl.hh /usr/include/ppl_c-$(mabi).h || die | ||
72 | # move the config program | ||
73 | all-abis minstallexec src/.libs/ppl-config /usr/bin/ppl-config-$(mabi) || die | ||
74 | |||
75 | # create a wrapper header | ||
76 | cat > ${BINDIR}/usr/include/ppl.hh << "EOF" | ||
77 | /* ppl.hh - Stub Header */ | ||
78 | #ifndef __STUB__PPL_HH__ | ||
79 | #define __STUB__PPL_HH__ | ||
80 | |||
81 | #if defined(__x86_64__) || \ | ||
82 | defined(__sparc64__) || \ | ||
83 | defined(__arch64__) || \ | ||
84 | defined(__powerpc64__) || \ | ||
85 | defined (__s390x__) | ||
86 | # include "ppl-m64.hh" | ||
87 | #else | ||
88 | # include "ppl-m32.hh" | ||
89 | #endif | ||
90 | |||
91 | #endif /* __STUB__PPL_HH__ */ | ||
92 | EOF | ||
93 | cat > ${BINDIR}/usr/include/ppl_c.h << "EOF" | ||
94 | /* ppl.hh - Stub Header */ | ||
95 | #ifndef __STUB__PPL_C_H__ | ||
96 | #define __STUB__PPL_C_H__ | ||
97 | |||
98 | #if defined(__x86_64__) || \ | ||
99 | defined(__sparc64__) || \ | ||
100 | defined(__arch64__) || \ | ||
101 | defined(__powerpc64__) || \ | ||
102 | defined (__s390x__) | ||
103 | # include "ppl_c-m64.h" | ||
104 | #else | ||
105 | # include "ppl_c-m32.h" | ||
106 | #endif | ||
107 | |||
108 | #endif /* __STUB__PPL_C_H__ */ | ||
109 | EOF | ||
110 | |||
111 | # install the multiarch-wrapper | ||
112 | minstalldir /usr/bin || die | ||
113 | mlink multiarch-wrapper /usr/bin/ppl-config || die | ||
114 | fi | ||
115 | |||
116 | minstalldocs AUTHORS COPYING* ChangeLog NEWS README || die | ||
117 | } |