core/ppl/ppl-1.0-r2.smage2

# $Id$

PNAME="ppl"
PVER="1.0"
PBUILD="r2"

PCAT="dev-libs"

DESCRIPTION="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."
HOMEPAGE="http://www.cs.unipr.it/ppl/"

# do not depend on glibc, as it depends ob libstdc++ and this wants mpc
# as SRCDEPEND -> this may generate loops

# x86_64 specific dependencies
DEPEND_x86_64=">= sys-apps/multiarch-wrapper-1"
SPECIAL_VARS="DEPEND_x86_64"

DEPEND="$(marchdepend)
	>= dev-libs/gmp-5.1
	>= sys-libs/libstdc++-4.7"

SRCFILE="${PNAME}-${PVER}.tar.bz2"
SRCDIR="${BUILDDIR}/${PNAME}-${PVER}"

sminclude mtools multilib

SRC_URI=(
	ftp://ftp.cs.unipr.it/pub/ppl/releases/${PVER}/${SRCFILE}
	mirror://${PNAME}/${SRCFILE}
	mirror://${PNAME}/${PNAME}-${PVER}-gmp51.patch
)

UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ | lasttarball"

src_prepare()
{
	munpack ${SRCFILE} || die

	# fix build against gmp-5.1.x
	mpatch ${PNAME}-${PVER}-gmp51.patch || die
}

src_compile()
{

	# speed src_check up
	local myopts
	mqueryfeature "!check" || myopts="--enable-check=quick"

	mconfigure \
		--docdir=/usr/share/doc/${PNAME}-${PVER} \
		--enable-shared \
		--disable-static \
		--disable-optimization \
		--enable-interfaces="c,cxx" \
		${myopts} \
		|| die

	mmake || die
}

src_install()
{
	mmake DESTDIR=${BINDIR} install || die

	if [[ ${ARCH} = x86_64 ]]
	then
		# move the header
		all-abis minstallfile src/ppl.hh /usr/include/ppl-$(mabi).hh || die
		all-abis minstallfile src/ppl.hh /usr/include/ppl_c-$(mabi).h || die
		# move the config program
		all-abis minstallexec src/.libs/ppl-config /usr/bin/ppl-config-$(mabi) || die

		# create a wrapper header
		cat > ${BINDIR}/usr/include/ppl.hh << "EOF"
/* ppl.hh - Stub Header  */
#ifndef __STUB__PPL_HH__
#define __STUB__PPL_HH__

#if defined(__x86_64__) || \
    defined(__sparc64__) || \
    defined(__arch64__) || \
    defined(__powerpc64__) || \
    defined (__s390x__)
# include "ppl-m64.hh"
#else
# include "ppl-m32.hh"
#endif

#endif /* __STUB__PPL_HH__ */
EOF
		cat > ${BINDIR}/usr/include/ppl_c.h << "EOF"
/* ppl.hh - Stub Header  */
#ifndef __STUB__PPL_C_H__
#define __STUB__PPL_C_H__

#if defined(__x86_64__) || \
    defined(__sparc64__) || \
    defined(__arch64__) || \
    defined(__powerpc64__) || \
    defined (__s390x__)
# include "ppl_c-m64.h"
#else
# include "ppl_c-m32.h"
#endif

#endif /* __STUB__PPL_C_H__ */
EOF

		# install the multiarch-wrapper
		minstalldir /usr/bin || die
		mlink multiarch-wrapper /usr/bin/ppl-config || die
	fi

	minstalldocs AUTHORS COPYING* ChangeLog NEWS README || die
}
1	niro	16904	# $Id$
2
3			PNAME="ppl"
4			PVER="1.0"
5			PBUILD="r2"
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.7"
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	niro	16905	mirror://${PNAME}/${PNAME}-${PVER}-gmp51.patch
32	niro	16904	)
33
34			UP2DATE="updatecmd ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ \| lasttarball"
35
36	niro	16905	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	niro	16904	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			}