summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRyan Hill <rhill@gentoo.org>2009-04-14 23:30:11 +0000
committerRyan Hill <rhill@gentoo.org>2009-04-14 23:30:11 +0000
commit44a37d2cdef5e7303c1f4505447ae20ab90625e7 (patch)
tree75349cd63ce8d1c51837d4c718053a67d19eb586 /dev-libs/ppl
parentversion bump (diff)
downloadhistorical-44a37d2cdef5e7303c1f4505447ae20ab90625e7.tar.gz
historical-44a37d2cdef5e7303c1f4505447ae20ab90625e7.tar.bz2
historical-44a37d2cdef5e7303c1f4505447ae20ab90625e7.zip
Version bump.
Package-Manager: portage-2.2_rc30/cvs/Linux x86_64
Diffstat (limited to 'dev-libs/ppl')
-rw-r--r--dev-libs/ppl/ChangeLog8
-rw-r--r--dev-libs/ppl/Manifest12
-rw-r--r--dev-libs/ppl/metadata.xml4
-rw-r--r--dev-libs/ppl/ppl-0.10.1.ebuild54
4 files changed, 72 insertions, 6 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
index dee2a48d766b..481efb2ce4a5 100644
--- a/dev-libs/ppl/ChangeLog
+++ b/dev-libs/ppl/ChangeLog
@@ -1,6 +1,12 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.7 2009/03/22 23:08:25 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.8 2009/04/14 23:30:11 dirtyepic Exp $
+
+*ppl-0.10.1 (14 Apr 2009)
+
+ 14 Apr 2009; Ryan Hill <dirtyepic@gentoo.org> metadata.xml,
+ +ppl-0.10.1.ebuild:
+ Version bump.
22 Mar 2009; Ryan Hill <dirtyepic@gentoo.org> -ppl-0.10_pre27.ebuild,
-ppl-0.10.ebuild, ppl-0.10-r1.ebuild:
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 3cdd7d154d04..0a3bcc427874 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,14 +1,16 @@
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
+DIST ppl-0.10.1.tar.bz2 9767698 RMD160 bb91766ab2e326218ecc3de627b2154870d1d022 SHA1 d0e6a424f7ad41f89cdf90556537c0867ab6621e SHA256 a31f5e0f087f5846d4b2c00d70ac94ce9ce7e50ca774a526405697dc0a18d61d
DIST ppl-0.10.tar.bz2 11165603 RMD160 7ca4944d257742a08c770b01bf2572fd87e3ba00 SHA1 25b7507f440dbde44f36b9e9db9034ce910509f8 SHA256 cc96b02be56bed1c39bdb47bcb1b20d3b16cd7123af110dbe6937d4c4506c4e1
EBUILD ppl-0.10-r1.ebuild 1470 RMD160 06faccb1ac3eca13e7be7cbde6f92112168798c3 SHA1 3bee934cbfa74ae54fe480929cd44d6ede12a310 SHA256 92a050d99c7c96fc64329a127b8fa14e7a231629a53517bcb808cc49b1640be3
-MISC ChangeLog 1496 RMD160 c9ff2234243423f3908d226e57582989affd1955 SHA1 2916c8700597ff4bd4b620e11ad1247d4df57711 SHA256 2a191dd0221e0684b2e1ef79c7a45bfde08340994b89f2af1deb1530d5825b23
-MISC metadata.xml 229 RMD160 891aadd4776784d39fe74363159a5693427e8687 SHA1 3a0841a0116d30c599b9bcc5235f3f7eacdbdd20 SHA256 5bacdb16039c1356761b3f0b2b4b113aaeda28accfe65075cb529e32b7c0eacb
+EBUILD ppl-0.10.1.ebuild 1469 RMD160 1514e23fc43046f229878ef744dd7c4d91558a2c SHA1 60fa8f706a627b4c447c53c44aa87eec474c42ac SHA256 93ef970fb921f09cd867a4e47067b9751df19840409f7b819af91c010c84b3ac
+MISC ChangeLog 1624 RMD160 92565e471279681eefe529161e2b5acb35f83c07 SHA1 2b16bf6516d13476cb2885d043998c2996f8d17e SHA256 18e5f7e38313edd29a4ebc710f6f540469f662c2eab3519edd52d4858d0827c8
+MISC metadata.xml 319 RMD160 858fcb9f9f457af4e59938fc757d944af67fb215 SHA1 d07000eee6874bbd459600c8bab5e461fe5ce4c0 SHA256 463057120c5551c2a2b4967817814b9d178a2813afbc312402732207ad68afc8
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.11 (GNU/Linux)
-iEYEARECAAYFAknGxVMACgkQiqiDRvmkBmJjUACfcPAP/AAgFHg8aNa1e7wLQUxw
-2NkAn0Hy8Sw6OXn34Vj3ltumpMmD/eQq
-=mvpc
+iEYEARECAAYFAknlHPkACgkQiqiDRvmkBmJXRQCfQUSic74txh9j8hBPNQTrgftg
+3UsAnAs4K3Vm1nzi7+e+XKfUvpOqCLM7
+=QUBg
-----END PGP SIGNATURE-----
diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml
index 802e2340fa89..3d03e7f80e7c 100644
--- a/dev-libs/ppl/metadata.xml
+++ b/dev-libs/ppl/metadata.xml
@@ -2,6 +2,10 @@
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>no-herd</herd>
+<maintainer>
+ <email>dirtyepic@gentoo.org</email>
+ <name>Ryan Hill</name>
+</maintainer>
<use>
<flag name='prolog'>Build SWI Prolog interface</flag>
</use>
diff --git a/dev-libs/ppl/ppl-0.10.1.ebuild b/dev-libs/ppl/ppl-0.10.1.ebuild
new file mode 100644
index 000000000000..c66625c8b1fe
--- /dev/null
+++ b/dev-libs/ppl/ppl-0.10.1.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2009 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.1.ebuild,v 1.1 2009/04/14 23:30:11 dirtyepic Exp $
+
+EAPI=2
+
+DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
+HOMEPAGE="http://www.cs.unipr.it/ppl/"
+SRC_URI="http://www.cs.unipr.it/ppl/Download/ftp/releases/${PV}/${P}.tar.bz2
+ ftp://ftp.cs.unipr.it/pub/ppl/releases/${PV}/${P}.tar.bz2"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~mips ~x86"
+IUSE="doc prolog"
+
+RDEPEND="prolog? ( dev-lang/swi-prolog[gmp] )
+ >=dev-libs/gmp-4.1.3[-nocxx]"
+DEPEND="${RDEPEND}
+ sys-devel/m4"
+
+src_configure() {
+
+ use prolog && want_prolog="swi_prolog"
+
+ econf \
+ --docdir=/usr/share/doc/${PF} \
+ --disable-debugging \
+ --disable-optimization \
+ --enable-interfaces="c cxx ${want_prolog}" \
+ || die
+}
+
+src_install() {
+
+ emake DESTDIR="${D}" install || die "emake install failed"
+
+ if use doc; then
+ cd "${D}"/usr/share/doc/${PF}
+ mkdir ppl ppl-watchdog
+ # the library docs get installed into ${DOCDIR}/ppl/
+ # move them to the right place
+ mv * ppl-watchdog
+ mv ../ppl .
+ # TODO - prepalldocs is banned
+ # replace it with whatever takes its place when it becomes available
+ # prepalldocs
+ else
+ rm -rf "${D}"/usr/share/doc/${PN}
+ rm -rf "${D}"/usr/share/doc/${PF}
+ fi
+
+ dodoc NEWS README README.configure STANDARDS TODO
+}