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 1RuPYN-0007rA-J9 for garchives@archives.gentoo.org; Mon, 06 Feb 2012 14:28:24 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 5AD38E06B7; Mon, 6 Feb 2012 14:28:14 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 24CBAE06B7 for ; Mon, 6 Feb 2012 14:28:13 +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 5DC7164C94 for ; Mon, 6 Feb 2012 14:28:13 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 8EB1880043 for ; Mon, 6 Feb 2012 14:28:12 +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/flocq/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/flocq/ChangeLog sci-mathematics/flocq/flocq-1.4.0.ebuild sci-mathematics/flocq/metadata.xml X-VCS-Directories: sci-mathematics/flocq/ X-VCS-Committer: jcdemay X-VCS-Committer-Name: Jonathan-Christofer Demay X-VCS-Revision: eb9e4619a218da11f4f2d8f8a48c59fd074f5757 Date: Mon, 6 Feb 2012 14:28:12 +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: b7a12e49-7cda-4aae-8aae-3f3b71dbd6ec X-Archives-Hash: 0c2f167f3d6d771722755891836001e5 commit: eb9e4619a218da11f4f2d8f8a48c59fd074f5757 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Mon Feb 6 14:26:12 2012 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Mon Feb 6 14:26:12 2012 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3Deb9e4619 sci-mathematics/flocq: QA Fixes --- sci-mathematics/flocq/ChangeLog | 3 --- sci-mathematics/flocq/flocq-1.4.0.ebuild | 15 +++++++++++---- sci-mathematics/flocq/metadata.xml | 2 +- 3 files changed, 12 insertions(+), 8 deletions(-) diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/Chan= geLog index 23ceec7..28ee4cc 100644 --- a/sci-mathematics/flocq/ChangeLog +++ b/sci-mathematics/flocq/ChangeLog @@ -2,9 +2,6 @@ # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ =20 - 25 Jun 2011; Justin Lecher flocq-1.4.0.ebuild: - Define EAPI after inherit - 06 May 2011; J.-C. Demay -flocq-1.2.ebuild, +flocq-1.4.0.ebuild: version bump diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/f= locq/flocq-1.4.0.ebuild index 44074f5..734992f 100644 --- a/sci-mathematics/flocq/flocq-1.4.0.ebuild +++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild @@ -2,20 +2,27 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ =20 -EAPI=3D4 +inherit autotools =20 -DESCRIPTION=3D"A floating-point formalization for the Coq system" +EAPI=3D"2" + +DESCRIPTION=3D"A floating-point formalization for the Coq system." HOMEPAGE=3D"http://flocq.gforge.inria.fr/" SRC_URI=3D"https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz" =20 LICENSE=3D"LGPL-3" SLOT=3D"0" -KEYWORDS=3D"~amd64 ~ppc ~x86" +KEYWORDS=3D"~amd64 ~ppc ~sparc ~x86" IUSE=3D"" =20 DEPEND=3D"sci-mathematics/coq" -RDEPEND=3D"${DEPEND}" =20 src_configure() { econf --libdir=3D"`coqc -where`/user-contrib/Flocq" } + +src_install() { + emake install DESTDIR=3D"${D}" || die "emake install failed" + dodoc NEWS README AUTHORS ChangeLog +} + diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/m= etadata.xml index 41ae244..c8feb0f 100644 --- a/sci-mathematics/flocq/metadata.xml +++ b/sci-mathematics/flocq/metadata.xml @@ -1,7 +1,7 @@ - sci-mathematics + sci Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-rad= ix