core/ppl/ppl-0.12.1-r1.smage2

# $Id$

PNAME="ppl"
PVER="0.12.1"
PBUILD="r1"

PCAT="dev-libs"
STATE="unstable"

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="\$(eval echo \\\$DEPEND_\${ARCH/i*86/x86} | tr ';' '\n')
	>= dev-libs/gmp-5.0.2
	>= sys-libs/libstdc++-4.6"

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

sminclude mtools multilib
# only atm, remove me at the final build
msetfeature "!check"

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

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

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
		# 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

		# 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	# $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	# move the config program
66	all-abis minstallexec src/.libs/ppl-config /usr/bin/ppl-config-$(mabi) \|\| die
67
68	# create a wrapper header
69	cat > ${BINDIR}/usr/include/ppl.hh << "EOF"
70	/* ppl.hh - Stub Header */
71	#ifndef __STUB__PPL_HH__
72	#define __STUB__PPL_HH__
73
74	#if defined(__x86_64__) \|\| \
75	defined(__sparc64__) \|\| \
76	defined(__arch64__) \|\| \
77	defined(__powerpc64__) \|\| \
78	defined (__s390x__)
79	# include "ppl-m64.hh"
80	#else
81	# include "ppl-m32.hh"
82	#endif
83
84	#endif /* __STUB__PPL_HH__ */
85	EOF
86
87	# install the multiarch-wrapper
88	minstalldir /usr/bin \|\| die
89	mlink multiarch-wrapper /usr/bin/ppl-config \|\| die
90	fi
91
92	minstalldocs AUTHORS COPYING* ChangeLog NEWS README \|\| die
93	}