diff options
Diffstat (limited to 'dev-libs/ppl/ppl-0.10.ebuild')
-rw-r--r-- | dev-libs/ppl/ppl-0.10.ebuild | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/dev-libs/ppl/ppl-0.10.ebuild b/dev-libs/ppl/ppl-0.10.ebuild deleted file mode 100644 index 020b907..0000000 --- a/dev-libs/ppl/ppl-0.10.ebuild +++ /dev/null @@ -1,18 +0,0 @@ -# Copyright 1999-2008 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10_pre27.ebuild,v 1.1 2008/09/21 09:26:44 vapier Exp $ - - -DESCRIPTION="The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems" -HOMEPAGE="http://www.cs.unipr.it/ppl/" -SRC_URI="ftp://ftp.cs.unipr.it/pub/ppl/releases/${PV}/${P}.tar.bz2" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="~amd64 ~mips ~x86" -IUSE="" - -src_install() { - emake DESTDIR="${D}" install || die - dodoc BUGS ChangeLog NEWS README STANDARDS TODO -} |