# Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.12.ebuild,v 1.4 2013/01/08 18:45:31 vapier Exp $ 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 ~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 ) ! /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 }