From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1RuPdE-0000Cu-EX for garchives@archives.gentoo.org; Mon, 06 Feb 2012 14:33:24 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id D68B6E0716; Mon, 6 Feb 2012 14:33:15 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 92F31E0716 for ; Mon, 6 Feb 2012 14:33:15 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id C40A61B405E for ; Mon, 6 Feb 2012 14:33:14 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 3B6BF80043 for ; Mon, 6 Feb 2012 14:33:14 +0000 (UTC) From: "Jonathan-Christofer Demay" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jonathan-Christofer Demay" Message-ID: Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/gappalib-coq/ChangeLog sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild sci-mathematics/gappalib-coq/metadata.xml X-VCS-Directories: sci-mathematics/gappalib-coq/ X-VCS-Committer: jcdemay X-VCS-Committer-Name: Jonathan-Christofer Demay X-VCS-Revision: cae14105085c3f64ee8a34a3d95547c150a5fe88 Date: Mon, 6 Feb 2012 14:33:14 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: quoted-printable X-Archives-Salt: 2847eb0c-6102-4f84-9628-0f98d98122e0 X-Archives-Hash: f60d001e0567f0cc6feee594b819c3b3 commit: cae14105085c3f64ee8a34a3d95547c150a5fe88 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Mon Feb 6 14:32:50 2012 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Mon Feb 6 14:32:50 2012 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3Dcae14105 sci-mathematics/gappalib-coq: version bump --- sci-mathematics/gappalib-coq/ChangeLog | 10 ++---- .../gappalib-coq/gappalib-coq-0.16.0.ebuild | 31 ++++++++++----= ----- sci-mathematics/gappalib-coq/metadata.xml | 2 +- 3 files changed, 21 insertions(+), 22 deletions(-) diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gap= palib-coq/ChangeLog index b4d3309..234b590 100644 --- a/sci-mathematics/gappalib-coq/ChangeLog +++ b/sci-mathematics/gappalib-coq/ChangeLog @@ -1,12 +1,10 @@ # ChangeLog for sci-mathematics/gappalib-coq -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ =20 -*gappalib-coq-0.16.0 (25 Jun 2011) - - 25 Jun 2011; Justin Lecher -gappalib-coq-0.14.1.ebui= ld, - +gappalib-coq-0.16.0.ebuild: - Version Bump + 12 Dec 2011; J.-C. Demay + +gappalib-coq-0.16.0.ebuild, -gappalib-coq-0.14.1.ebuild: + version bump =20 04 Jul 2010; J.-C. Demay +gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.13.ebuild: diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild b/sc= i-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild index f0b130c..db8faf3 100644 --- a/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild +++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild @@ -1,33 +1,34 @@ -# Copyright 1999-2011 Gentoo Foundation +# Copyright 1999-2009 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ =20 -EAPI=3D4 +EAPI=3D"2" =20 -ID=3D28596 - -DESCRIPTION=3D"Gappa certificate generator to be imported by the Coq" +DESCRIPTION=3D"This library allows the certificates Gappa generates to b= e imported by the Coq." HOMEPAGE=3D"http://gappa.gforge.inria.fr/" -SRC_URI=3D"http://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz" +SRC_URI=3D"http://gforge.inria.fr/frs/download.php/28596/${P}.tar.gz" =20 LICENSE=3D"LGPL-2" SLOT=3D"0" -KEYWORDS=3D"~amd64 ~ppc ~x86" +KEYWORDS=3D"~amd64 ~ppc ~sparc ~x86" IUSE=3D"" =20 -DEPEND=3D" - sci-mathematics/gappa - sci-mathematics/coq - sci-mathematics/flocq" +DEPEND=3D"sci-mathematics/gappa + sci-mathematics/coq + sci-mathematics/flocq" RDEPEND=3D"${DEPEND}" =20 src_prepare(){ - sed \ - -i configure \ - -e "s/if test \"\$libdir\" =3D '\${exec_prefix}\/lib';/ \ + sed -i configure -e "s/if test \"\$libdir\" =3D '\${exec_prefix}\/lib';= / \ if test \"\$libdir\" =3D '\${exec_prefix}\/lib' -o "\$libdir" =3D \"\$= {prefix}\/lib64\";/g" } =20 src_compile(){ - emake DESTDIR=3D"/" + emake DESTDIR=3D"/" || die "emake failed" +} + +src_install(){ + emake install DESTDIR=3D"${D}" || die "emake install failed" + dodoc NEWS README AUTHORS } + diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/= gappalib-coq/metadata.xml index babbea2..67a0fb5 100644 --- a/sci-mathematics/gappalib-coq/metadata.xml +++ b/sci-mathematics/gappalib-coq/metadata.xml @@ -1,7 +1,7 @@ - sci-mathematics + sci While Gappa is intended to be used directly, it can also act as a backend prover for the Why software verification plateform or as an