summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-libs/ppl/ppl-0.12.1-r1.ebuild')
-rw-r--r--dev-libs/ppl/ppl-0.12.1-r1.ebuild83
1 files changed, 0 insertions, 83 deletions
diff --git a/dev-libs/ppl/ppl-0.12.1-r1.ebuild b/dev-libs/ppl/ppl-0.12.1-r1.ebuild
deleted file mode 100644
index 630398ef0c22..000000000000
--- a/dev-libs/ppl/ppl-0.12.1-r1.ebuild
+++ /dev/null
@@ -1,83 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="3"
-
-inherit eutils
-
-DESCRIPTION="The Parma Polyhedra Library for numerical 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
-}