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

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

commit:     f931cd60440cfe6fa6d087ee242fd510b3d9f789
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Jan 14 14:07:36 2013 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Jan 14 14:07:36 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=f931cd60

sci-mathematics/gappa: version bump

---
 sci-mathematics/gappa/ChangeLog                    |    6 +++++-
 .../{gappa-0.15.1.ebuild => gappa-0.16.3.ebuild}   |   12 +++---------
 sci-mathematics/gappa/metadata.xml                 |    3 +++
 3 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index c7bc51e..225b008 100644
--- a/sci-mathematics/gappa/ChangeLog
+++ b/sci-mathematics/gappa/ChangeLog
@@ -1,7 +1,11 @@
 # ChangeLog for sci-mathematics/gappa
-# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
+  +gappa-0.16.3.ebuild, -gappa-0.15.1.ebuild:
+  version bump
+
   21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
   +gappa-0.15.1.ebuild, -gappa-0.14.0.ebuild:
   version bump

diff --git a/sci-mathematics/gappa/gappa-0.15.1.ebuild b/sci-mathematics/gappa/gappa-0.16.3.ebuild
similarity index 83%
rename from sci-mathematics/gappa/gappa-0.15.1.ebuild
rename to sci-mathematics/gappa/gappa-0.16.3.ebuild
index 0fa2899..0112d0c 100644
--- a/sci-mathematics/gappa/gappa-0.15.1.ebuild
+++ b/sci-mathematics/gappa/gappa-0.16.3.ebuild
@@ -1,12 +1,12 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Header: $
 
 EAPI="2"
 
-DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic."
+DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic"
 HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="http://gforge.inria.fr/frs/download.php/29004/${P}.tar.gz"
+SRC_URI="http://gforge.inria.fr/frs/download.php/31927/${P}.tar.gz"
 
 LICENSE="|| ( CeCILL-2.0 GPL-2 )"
 SLOT="0"
@@ -21,12 +21,6 @@ DEPEND="${RDEPEND}
 				app-text/ghostscript-gpl
 				app-doc/doxygen )"
 
-src_unpack() {
-	unpack ${A}
-	mv ${S/%0.14.0/0.13.0} ${S}
-	cd ${S}
-}
-
 src_prepare() {
 	sed -i doc/doxygen/Doxyfile \
 		-e "s/GENERATE_LATEX         = NO/GENERATE_LATEX         = YES/g" \

diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml
index b9102d9..5f9d1b7 100644
--- a/sci-mathematics/gappa/metadata.xml
+++ b/sci-mathematics/gappa/metadata.xml
@@ -12,4 +12,7 @@
 	<maintainer>
 		<email>sci@gentoo.org</email>
 	</maintainer>
+	<use>
+		<flag name="doc">?doc?</flag>
+	</use>
 </pkgmetadata>