diff options
| author |   Mike Frysinger <vapier@gentoo.org> | 2008-11-30 02:59:13 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2008-11-30 02:59:13 +0000 |
| commit | 71f9420691435cc1805c187688ff317a68ed004a (patch) | |
| tree | 23c1a49d015eb284af36b75bc4b7792a2593ed9d /dev-libs/ppl | |
| parent | Remove valgrind dependency for test runs as it is handled automatically based... (diff) | |
| download | gentoo-2-71f9420691435cc1805c187688ff317a68ed004a.tar.gz gentoo-2-71f9420691435cc1805c187688ff317a68ed004a.tar.bz2 gentoo-2-71f9420691435cc1805c187688ff317a68ed004a.zip | |
Version bump #245799 by Sigmatador. Fix doc install #241276 by Diego E. Pettenò. Control prolog support via USE=prolog #249320 by Diego E. Flameeyes Pettenò.
(Portage version: 2.2_rc16/cvs/Linux 2.6.27.4 x86_64)
Diffstat (limited to 'dev-libs/ppl')
| -rw-r--r-- | dev-libs/ppl/ChangeLog | 10 | ||||
| -rw-r--r-- | dev-libs/ppl/metadata.xml | 3 | ||||
| -rw-r--r-- | dev-libs/ppl/ppl-0.10.ebuild | 39 |
3 files changed, 51 insertions, 1 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog index 391284eb6abf..f06da2cad2e8 100644 --- a/dev-libs/ppl/ChangeLog +++ b/dev-libs/ppl/ChangeLog @@ -1,6 +1,14 @@ # 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 $ +# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.3 2008/11/30 02:59:13 vapier Exp $ + +*ppl-0.10 (30 Nov 2008) + + 30 Nov 2008; Mike Frysinger <vapier@gentoo.org> metadata.xml, + +ppl-0.10.ebuild: + Version bump #245799 by Sigmatador. Fix doc install #241276 by Diego E. + Pettenò. Control prolog support via USE=prolog #249320 by Diego E. + Flameeyes Pettenò. 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. diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml index 20ce219711a2..802e2340fa89 100644 --- a/dev-libs/ppl/metadata.xml +++ b/dev-libs/ppl/metadata.xml @@ -2,4 +2,7 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>no-herd</herd> +<use> + <flag name='prolog'>Build SWI Prolog interface</flag> +</use> </pkgmetadata> diff --git a/dev-libs/ppl/ppl-0.10.ebuild b/dev-libs/ppl/ppl-0.10.ebuild new file mode 100644 index 000000000000..4c3ca97a7536 --- /dev/null +++ b/dev-libs/ppl/ppl-0.10.ebuild @@ -0,0 +1,39 @@ +# 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.ebuild,v 1.1 2008/11/30 02:59:13 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="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="prolog" + +RDEPEND="prolog? ( dev-lang/swi-prolog )" +DEPEND="${RDEPEND} + sys-devel/m4" + +src_unpack() { + unpack ${A} + cd "${S}" + sed -i \ + -e "/have_swi_prolog=/s:=.*:=$(use prolog && echo yes || echo no):" \ + -e '/^docdir=.${datadir}.doc.ppl./d' \ + configure +} + +src_compile() { + econf --docdir=/usr/share/doc/${PF} || die + emake || die +} + +src_install() { + emake DESTDIR="${D}" install || die + cd /usr/share/doc/${PF} + mkdir html + mv *-html html/ + prepalldocs +} |