blob: 1d4b3244c5c12c2455848155117b610056ded0fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
# Copyright 1999-2014 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="3"
inherit eutils
DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
HOMEPAGE="http://bugseng.com/products/ppl"
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.bz2"
LICENSE="GPL-3"
SLOT="0"
KEYWORDS="alpha amd64 arm arm64 ~hppa ia64 ~mips ppc ppc64 s390 sh sparc x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
IUSE="doc lpsol pch static-libs test"
RDEPEND=">=dev-libs/gmp-4.1.3[cxx]
lpsol? ( <=sci-mathematics/glpk-4.48 )
!<dev-libs/cloog-ppl-0.15.10"
DEPEND="${RDEPEND}
sys-devel/m4"
pkg_setup() {
if use test; then
ewarn "The PPL testsuite will be run."
ewarn "Note that this can take several hours to complete on a fast machine."
fi
}
src_prepare() {
epatch "${FILESDIR}/ppl-fix-gmp-5.1.0.patch" || die "Failed to patch"
}
src_configure() {
econf \
--docdir="${EPREFIX}"/usr/share/doc/${PF} \
--disable-debugging \
--disable-optimization \
$(use_enable doc documentation) \
$(use_enable lpsol ppl_lpsol) \
$(use_enable pch) \
$(use_enable static-libs static) \
--enable-interfaces="c cxx" \
$(use test && echo --enable-check=quick)
}
src_test() {
# default src_test runs with -j1, overriding it here saves about
# 30 minutes and is recommended by upstream
if emake -j1 check -n &> /dev/null; then
emake check || die "tests failed"
fi
}
src_install() {
emake DESTDIR="${D}" install || die
use static-libs || rm -f "${D}"/usr/lib*/libppl*.la
local docsdir="${ED}/usr/share/doc/${PF}"
rm "${docsdir}"/gpl* "${docsdir}"/fdl* || die
if ! use doc; then
rm -r "${docsdir}"/*-html/ || die
fi
dodoc NEWS README* STANDARDS TODO
}
pkg_postinst() {
echo
ewarn "After an upgrade of PPL it is important that you rebuild"
ewarn "dev-libs/cloog-ppl."
ewarn
ewarn "If you use gcc-config to switch to an older compiler version than"
ewarn "the one PPL was built with, PPL must be rebuilt with that version."
ewarn
ewarn "In both cases failure to do this will get you this error when"
ewarn "graphite flags are used:"
ewarn
ewarn " sorry, unimplemented: Graphite loop optimizations cannot be used"
ewarn
echo
}
|
GitWeb