[gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/

["Jonathan-Christofer Demay" <jcdemay@gmail.com>]

commit:     cae14105085c3f64ee8a34a3d95547c150a5fe88
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb  6 14:32:50 2012 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb  6 14:32:50 2012 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=cae14105

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/gappalib-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: $
 
-*gappalib-coq-0.16.0 (25 Jun 2011)
-
-  25 Jun 2011; Justin Lecher <jlec@gentoo.org> -gappalib-coq-0.14.1.ebuild,
-  +gappalib-coq-0.16.0.ebuild:
-  Version Bump
+  12 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+  +gappalib-coq-0.16.0.ebuild, -gappalib-coq-0.14.1.ebuild:
+  version bump
 
   04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
   +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/sci-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: $
 
-EAPI=4
+EAPI="2"
 
-ID=28596
-
-DESCRIPTION="Gappa certificate generator to be imported by the Coq"
+DESCRIPTION="This library allows the certificates Gappa generates to be imported by the Coq."
 HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="http://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz"
+SRC_URI="http://gforge.inria.fr/frs/download.php/28596/${P}.tar.gz"
 
 LICENSE="LGPL-2"
 SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
 IUSE=""
 
-DEPEND="
-	sci-mathematics/gappa
-	sci-mathematics/coq
-	sci-mathematics/flocq"
+DEPEND="sci-mathematics/gappa
+		sci-mathematics/coq
+		sci-mathematics/flocq"
 RDEPEND="${DEPEND}"
 
 src_prepare(){
-	sed \
-		-i configure \
-		-e "s/if test \"\$libdir\" = '\${exec_prefix}\/lib';/ \
+	sed -i configure -e "s/if test \"\$libdir\" = '\${exec_prefix}\/lib';/ \
 		if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g"
 }
 
 src_compile(){
-	emake DESTDIR="/"
+	emake DESTDIR="/" || die "emake failed"
+}
+
+src_install(){
+	emake install DESTDIR="${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 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-	<herd>sci-mathematics</herd>
+	<herd>sci</herd>
 	<longdescription>
 		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