Contents of /smage/branches/alx-0_6_0/core/ppl/ppl-0.10.2-r1.smage2
Parent Directory | Revision Log
Revision 2506 -
(show annotations)
(download)
Thu Jun 30 13:55:15 2011 UTC (13 years, 3 months ago) by niro
File size: 2084 byte(s)
Thu Jun 30 13:55:15 2011 UTC (13 years, 3 months ago) by niro
File size: 2084 byte(s)
-removed STATE variable from smage files, use global distribution file for package/distribution states
1 | # $Id$ |
2 | |
3 | PNAME="ppl" |
4 | PVER="0.10.2" |
5 | PBUILD="r1" |
6 | |
7 | PCATEGORIE="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="\$(eval echo \\\$DEPEND_\${ARCH/i*86/x86} | tr ';' '\n') |
20 | >= dev-libs/gmp-5.0.1" |
21 | |
22 | SRCFILE="${PNAME}-${PVER}.tar.bz2" |
23 | SRCDIR="${BUILDDIR}/${PNAME}-${PVER}" |
24 | |
25 | sminclude mtools multilib |
26 | |
27 | SRC_URI=( |
28 | ftp://ftp.cs.unipr.it/pub/ppl/releases/${PVER}/${SRCFILE} |
29 | mirror://${PNAME}/${SRCFILE} |
30 | ) |
31 | |
32 | UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ | lasttarball" |
33 | |
34 | src_prepare() |
35 | { |
36 | munpack ${SRCFILE} || die |
37 | |
38 | # fixes detection of newer gmp versions |
39 | all-abis 'sed -i "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" configure' || die |
40 | } |
41 | |
42 | src_compile() |
43 | { |
44 | mconfigure \ |
45 | --docdir=/usr/share/doc/${PNAME}-${PVER} \ |
46 | --enable-shared \ |
47 | --disable-static \ |
48 | --disable-optimization \ |
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 | # move the config program |
63 | all-abis minstallexec src/.libs/ppl-config /usr/bin/ppl-config-$(mabi) || die |
64 | |
65 | # create a wrapper header |
66 | cat > ${BINDIR}/usr/include/ppl.h << "EOF" |
67 | /* ppl.h - Stub Header */ |
68 | #ifndef __STUB__PPL_HH__ |
69 | #define __STUB__PPL_HH__ |
70 | |
71 | #if defined(__x86_64__) || \ |
72 | defined(__sparc64__) || \ |
73 | defined(__arch64__) || \ |
74 | defined(__powerpc64__) || \ |
75 | defined (__s390x__) |
76 | # include "ppl-m64.h" |
77 | #else |
78 | # include "ppl-m32.h" |
79 | #endif |
80 | |
81 | #endif /* __STUB__PPL_HH__ */ |
82 | EOF |
83 | # install the multiarch-wrapper |
84 | minstalldir /usr/bin || die |
85 | mlink multiarch-wrapper /usr/bin/ppl-config || die |
86 | fi |
87 | |
88 | minstalldocs AUTHORS COPYING* ChangeLog NEWS README || die |
89 | } |