summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZhang Le <r0bertz@gentoo.org>2008-11-06 20:46:53 +0800
committerZhang Le <r0bertz@gentoo.org>2008-11-06 20:46:53 +0800
commit70cff809261117cd178d5df27e18f9cda73709bb (patch)
tree8493f6b21f3853bedf3b9abab62190abffbe9acd /dev-libs
parentadded gcc from dirtyepic's overlay (diff)
downloadloongson-70cff809261117cd178d5df27e18f9cda73709bb.tar.gz
loongson-70cff809261117cd178d5df27e18f9cda73709bb.tar.bz2
loongson-70cff809261117cd178d5df27e18f9cda73709bb.zip
added ppl-0.10
Diffstat (limited to 'dev-libs')
-rw-r--r--dev-libs/ppl/ChangeLog12
-rw-r--r--dev-libs/ppl/Manifest4
-rw-r--r--dev-libs/ppl/metadata.xml8
-rw-r--r--dev-libs/ppl/ppl-0.10.ebuild18
4 files changed, 42 insertions, 0 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
new file mode 100644
index 0000000..391284e
--- /dev/null
+++ b/dev-libs/ppl/ChangeLog
@@ -0,0 +1,12 @@
+# 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
new file mode 100644
index 0000000..488bad0
--- /dev/null
+++ b/dev-libs/ppl/Manifest
@@ -0,0 +1,4 @@
+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
new file mode 100644
index 0000000..21481b2
--- /dev/null
+++ b/dev-libs/ppl/metadata.xml
@@ -0,0 +1,8 @@
+<?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
new file mode 100644
index 0000000..020b907
--- /dev/null
+++ b/dev-libs/ppl/ppl-0.10.ebuild
@@ -0,0 +1,18 @@
+# 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
+}