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

["Justin Lecher" <jlec@gentoo.org>]

commit:     7f36767506b2d7628afc0a6a6dd441ef60cad562
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 25 16:39:30 2011 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 25 16:39:30 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7f367675

Version Bump

(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)

---
 sci-mathematics/gappalib-coq/ChangeLog             |    8 ++++-
 .../gappalib-coq/gappalib-coq-0.14.1.ebuild        |   34 --------------------
 .../gappalib-coq/gappalib-coq-0.16.0.ebuild        |   33 +++++++++++++++++++
 3 files changed, 40 insertions(+), 35 deletions(-)

diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog
index db6238a..b4d3309 100644
--- a/sci-mathematics/gappalib-coq/ChangeLog
+++ b/sci-mathematics/gappalib-coq/ChangeLog
@@ -1,7 +1,13 @@
 # ChangeLog for sci-mathematics/gappalib-coq
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 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
+
   04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
   +gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.13.ebuild:
   version bump

diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
deleted file mode 100644
index 71a67fa..0000000
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
+++ /dev/null
@@ -1,34 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-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/28157/${P}.tar.gz"
-
-LICENSE="LGPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
-IUSE=""
-
-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';/ \
-		if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g"
-}
-
-src_compile(){
-	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/gappalib-coq-0.16.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild
new file mode 100644
index 0000000..f0b130c
--- /dev/null
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=4
+
+ID=28596
+
+DESCRIPTION="Gappa certificate generator 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"
+
+LICENSE="LGPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE=""
+
+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';/ \
+		if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g"
+}
+
+src_compile(){
+	emake DESTDIR="/"
+}