diff options
| -rw-r--r-- | dev-libs/ppl/ChangeLog | 12 | ||||
| -rw-r--r-- | dev-libs/ppl/Manifest | 4 | ||||
| -rw-r--r-- | dev-libs/ppl/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-libs/ppl/ppl-0.10.ebuild | 18 |
4 files changed, 0 insertions, 42 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog deleted file mode 100644 index 391284e..0000000 --- a/dev-libs/ppl/ChangeLog +++ /dev/null @@ -1,12 +0,0 @@ -# ChangeLog for dev-libs/ppl -# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.2 2008/09/21 09:56:20 robbat2 Exp $ - - 21 Sep 2008; Robin H. Johnson <robbat2@gentoo.org> +metadata.xml: - Mike is a slacker and did not include metadata.xml for his new package. - -*ppl-0.10_pre27 (21 Sep 2008) - - 21 Sep 2008; Mike Frysinger <vapier@gentoo.org> +ppl-0.10_pre27.ebuild: - Initial ebuild based on work from Zhang Le for gcc-4.4+. - diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest deleted file mode 100644 index 488bad0..0000000 --- a/dev-libs/ppl/Manifest +++ /dev/null @@ -1,4 +0,0 @@ -DIST ppl-0.10.tar.bz2 11165603 RMD160 7ca4944d257742a08c770b01bf2572fd87e3ba00 SHA1 25b7507f440dbde44f36b9e9db9034ce910509f8 SHA256 cc96b02be56bed1c39bdb47bcb1b20d3b16cd7123af110dbe6937d4c4506c4e1 -EBUILD ppl-0.10.ebuild 715 RMD160 9345325f49dbdec84de1a79032c7a8ddeb7e87e7 SHA1 bc2b97f3c63874e37085a5c95372f3ac930fd643 SHA256 329d28e556bca2f4c4dcc11cc8c7839a9bf6f7d689b82d1c830e2cb121bddadf -MISC ChangeLog 506 RMD160 27fae6e53f405195e041791a5874c69ed9299718 SHA1 1be4207bc323b882d9e7b8ea2205b0fdf301f3cd SHA256 2aa5e1811246ad06095c375b14163c1fd124c03b6bda859c3fee46df91c15f2d -MISC metadata.xml 222 RMD160 2174b87535494a4d4910d006d926f9d8fd3dbd29 SHA1 3c4fa15e113b927d00499597ce8b0ec2f05cd2e0 SHA256 aaa8819581dffbde9e3d1b60c363083b92f07e3ad3f60f164e9bed73f2e788e7 diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml deleted file mode 100644 index 21481b2..0000000 --- a/dev-libs/ppl/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> -<herd>no-herd</herd> -<maintainer> - <email>vapier@gentoo.org</email> -</maintainer> -</pkgmetadata> 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 -} |