[gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10-r1.ebuild

[Ryan Hill (dirtyepic)]

dirtyepic    09/01/31 19:08:02

  Modified:             ChangeLog
  Added:                ppl-0.10-r1.ebuild
  Log:
  Revision bump. Add missing dependency on GMP with C++ extensions. Fix
  unwanted dependencies being autodectected by configure. Add doc USE flag
  and fix docs installing into the wrong place.
  (Portage version: 2.2_rc23/cvs/Linux x86_64)

Revision  Changes    Path
1.5                  dev-libs/ppl/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.4&r2=1.5

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- ChangeLog	1 Dec 2008 16:52:10 -0000	1.4
+++ ChangeLog	31 Jan 2009 19:08:02 -0000	1.5
@@ -1,6 +1,13 @@
 # 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.4 2008/12/01 16:52:10 vapier Exp $
+# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.5 2009/01/31 19:08:02 dirtyepic Exp $
+
+*ppl-0.10-r1 (31 Jan 2009)
+
+  31 Jan 2009; Ryan Hill <dirtyepic@g.o> +ppl-0.10-r1.ebuild:
+  Revision bump. Add missing dependency on GMP with C++ extensions. Fix
+  unwanted dependencies being autodectected by configure. Add doc USE flag
+  and fix docs installing into the wrong place.
 
   01 Dec 2008; Mike Frysinger <vapier@g.o> ppl-0.10.ebuild:
   Fix typo pointed out by Sigmatador.



1.1                  dev-libs/ppl/ppl-0.10-r1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild?rev=1.1&content-type=text/plain

Index: ppl-0.10-r1.ebuild
===================================================================
# 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-r1.ebuild,v 1.1 2009/01/31 19:08:02 dirtyepic Exp $

EAPI=2

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="doc prolog"

RDEPEND="prolog? ( dev-lang/swi-prolog )
		>=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 .
		prepalldocs
	else
		rm -rf "${D}"/usr/share/doc/${PN}
		rm -rf "${D}"/usr/share/doc/${PF}
	fi

	dodoc NEWS README README.configure STANDARDS TODO
}