diff options
author | 2009-04-14 23:30:11 +0000 | |
---|---|---|
committer | 2009-04-14 23:30:11 +0000 | |
commit | dee3fb487ebd3ca719f5bbacd41b59ef3dc12817 (patch) | |
tree | fa5d442fbc8b8b9db7be17e1040c3e788ad20ce8 /dev-libs | |
parent | version bump (diff) | |
download | gentoo-2-dee3fb487ebd3ca719f5bbacd41b59ef3dc12817.tar.gz gentoo-2-dee3fb487ebd3ca719f5bbacd41b59ef3dc12817.tar.bz2 gentoo-2-dee3fb487ebd3ca719f5bbacd41b59ef3dc12817.zip |
Version bump.
(Portage version: 2.2_rc30/cvs/Linux x86_64)
Diffstat (limited to 'dev-libs')
-rw-r--r-- | dev-libs/ppl/ChangeLog | 8 | ||||
-rw-r--r-- | dev-libs/ppl/metadata.xml | 4 | ||||
-rw-r--r-- | dev-libs/ppl/ppl-0.10.1.ebuild | 54 |
3 files changed, 65 insertions, 1 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/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 +} |