diff options
| author |   Mike Frysinger <vapier@gentoo.org> | 2008-09-21 09:26:44 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2008-09-21 09:26:44 +0000 |
| commit | a1d35e799d17a3b144768ef6519d25f3e7d30387 (patch) | |
| tree | 17ae3e297ca642df4a8f6c656623e095cd37c7b0 /dev-libs | |
| parent | Automated update of use.local.desc (diff) | |
| download | historical-a1d35e799d17a3b144768ef6519d25f3e7d30387.tar.gz historical-a1d35e799d17a3b144768ef6519d25f3e7d30387.tar.bz2 historical-a1d35e799d17a3b144768ef6519d25f3e7d30387.zip | |
Initial ebuild based on work from Zhang Le for gcc-4.4+.
Package-Manager: portage-2.2_rc8/cvs/Linux 2.6.26.2 x86_64
Diffstat (limited to 'dev-libs')
| -rw-r--r-- | dev-libs/ppl/ChangeLog | 9 | ||||
| -rw-r--r-- | dev-libs/ppl/Manifest | 13 | ||||
| -rw-r--r-- | dev-libs/ppl/ppl-0.10_pre27.ebuild | 21 |
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog new file mode 100644 index 000000000000..9982385006dc --- /dev/null +++ b/dev-libs/ppl/ChangeLog @@ -0,0 +1,9 @@ +# 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.1 2008/09/21 09:26:44 vapier Exp $ + +*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 new file mode 100644 index 000000000000..b926c5017b96 --- /dev/null +++ b/dev-libs/ppl/Manifest @@ -0,0 +1,13 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + +DIST ppl-0.10pre27.tar.bz2 8754070 RMD160 48cc4e6dc935d66fe9083fd1da798c572ffb54ab SHA1 805e75050dd61a27aadf44c76a82259f31539805 SHA256 f06ff4a25320cb51e730a992e48d4fb95bcacc1e71337b587c6e06223e9f06e8 +EBUILD ppl-0.10_pre27.ebuild 758 RMD160 b76677e9c2ef7288db019328a86d9b64bf337478 SHA1 89870b48f4e20e41492a41a01637b278c8da0fe6 SHA256 01632ca9327ef265c14d000a9d6f34eab9095a327c51bffbca0a994e4ac02d6b +MISC ChangeLog 362 RMD160 6f585043c3d4b93616f02d5b7d8f25a10f5eb869 SHA1 6629e75c86a7845a5872bc986b250bd85ae1e342 SHA256 bf8919b053f1d5b5c13428a00e0aa4ad45ec2b148bbe7ee0958bb0fd54a8a300 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.9 (GNU/Linux) + +iEYEARECAAYFAkjWE1sACgkQ67wieSYcaxfTIwCeNuBqSiNuevVztfC2C0M2ZaqK +Pi4AoJGcpgMJRJo2xhWeFjtKkHwqsDrY +=aXty +-----END PGP SIGNATURE----- diff --git a/dev-libs/ppl/ppl-0.10_pre27.ebuild b/dev-libs/ppl/ppl-0.10_pre27.ebuild new file mode 100644 index 000000000000..3939dfdd6c80 --- /dev/null +++ b/dev-libs/ppl/ppl-0.10_pre27.ebuild @@ -0,0 +1,21 @@ +# 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 $ + +MY_P="${P/_pre/pre}" + +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/snapshots/${MY_P}.tar.bz2" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~mips ~x86" +IUSE="" + +S="${WORKDIR}/${MY_P}" + +src_install() { + emake DESTDIR="${D}" install || die + dodoc BUGS ChangeLog NEWS README STANDARDS TODO +} |