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

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

[Mike Frysinger (vapier)]

vapier      08/09/21 09:26:45

  Added:                ppl-0.10_pre27.ebuild Manifest ChangeLog
  Log:
  Initial ebuild based on work from Zhang Le for gcc-4.4+.
  (Portage version: 2.2_rc8/cvs/Linux 2.6.26.2 x86_64)

Revision  Changes    Path
1.1                  dev-libs/ppl/ppl-0.10_pre27.ebuild

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

Index: ppl-0.10_pre27.ebuild
===================================================================
# 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 $

MY_P="${P/_pre/pre}"

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/snapshots/${MY_P}.tar.bz2"

LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64 ~mips ~x86"
IUSE=""

S="${WORKDIR}/${MY_P}"

src_install() {
	emake DESTDIR="${D}" install || die
	dodoc BUGS ChangeLog NEWS README STANDARDS TODO
}



1.1                  dev-libs/ppl/Manifest

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

Index: Manifest
===================================================================
DIST ppl-0.10pre27.tar.bz2 8754070 RMD160 48cc4e6dc935d66fe9083fd1da798c572ffb54ab SHA1 805e75050dd61a27aadf44c76a82259f31539805 SHA256 f06ff4a25320cb51e730a992e48d4fb95bcacc1e71337b587c6e06223e9f06e8
EBUILD ppl-0.10_pre27.ebuild 662 RMD160 4f3215348f013d91e39620118306d37c80f0897b SHA1 ef79127e0212101993a36371174dbd92469d1df8 SHA256 3432dfb2646261d3fd9792f67dca2c0469d7ab260fbfaf97111e0db25fbf3f7a
MISC ChangeLog 278 RMD160 0245d45d1b378cef5f80cf343ee652e13af04d83 SHA1 bd7fb05d640e81e23429f326e385de6bd3f2fc3f SHA256 e820285c0d763ad6a3fae990ccae6eda78fa79be787e4448fa5ec5a16af0effb



1.1                  dev-libs/ppl/ChangeLog

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

Index: ChangeLog
===================================================================
# 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.1 2008/09/21 09:26:44 vapier Exp $

*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+.