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

["Sebastien Fabbro" <bicatali@gentoo.org>]

commit:     4356328a867c29e3e249403c5b202d429062b7bb
Author:     Sébastien Fabbro <bicatali <AT> gentoo <DOT> org>
AuthorDate: Mon Aug 12 21:23:23 2013 +0000
Commit:     Sebastien Fabbro <bicatali <AT> gentoo <DOT> org>
CommitDate: Mon Aug 12 21:23:23 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=4356328a

sci-mathematics/gappa: Version bump

Package-Manager: portage-2.2.01.22124-prefix

---
 sci-mathematics/gappa/ChangeLog           |  7 ++++-
 sci-mathematics/gappa/gappa-0.16.3.ebuild | 50 -------------------------------
 sci-mathematics/gappa/gappa-1.0.0.ebuild  | 37 +++++++++++++++++++++++
 3 files changed, 43 insertions(+), 51 deletions(-)

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index 225b008..963d847 100644
--- a/sci-mathematics/gappa/ChangeLog
+++ b/sci-mathematics/gappa/ChangeLog
@@ -2,6 +2,12 @@
 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+*gappa-1.0.0 (12 Aug 2013)
+
+  12 Aug 2013; Sébastien Fabbro <bicatali@gentoo.org> +gappa-1.0.0.ebuild,
+  -gappa-0.16.3.ebuild:
+  sci-mathematics/gappa: Version bump
+
   14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
   +gappa-0.16.3.ebuild, -gappa-0.15.1.ebuild:
   version bump
@@ -26,4 +32,3 @@
   04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
   +metadata.xml, +ChangeLog:
   QA fixes
-

diff --git a/sci-mathematics/gappa/gappa-0.16.3.ebuild b/sci-mathematics/gappa/gappa-0.16.3.ebuild
deleted file mode 100644
index 0112d0c..0000000
--- a/sci-mathematics/gappa/gappa-0.16.3.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# 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"
-HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="http://gforge.inria.fr/frs/download.php/31927/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2.0 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
-IUSE="doc"
-
-RDEPEND="dev-libs/gmp
-	dev-libs/mpfr
-	dev-libs/boost"
-DEPEND="${RDEPEND}
-		doc? ( app-text/texlive
-				app-text/ghostscript-gpl
-				app-doc/doxygen )"
-
-src_prepare() {
-	sed -i doc/doxygen/Doxyfile \
-		-e "s/GENERATE_LATEX         = NO/GENERATE_LATEX         = YES/g" \
-		-e "s/USE_PDFLATEX           = NO/USE_PDFLATEX           = YES/g" \
-		-e "s/PDF_HYPERLINKS         = NO/PDF_HYPERLINKS         = YES/g"
-}
-
-src_compile(){
-	emake DESTDIR="/" || die "emake failed"
-
-	if use doc; then
-		cd doc/doxygen
-		doxygen Doxyfile || die "doxygen failed"
-		cd "${S}"
-		emake -C doc/doxygen/latex || die "emake doc failed"
-	fi
-}
-
-src_install(){
-	emake install DESTDIR="${D}" || die "emake install failed"
-	dodoc AUTHORS NEWS README
-
-	if use doc; then
-		mv doc/doxygen/latex/refman.pdf ./gappa.pdf
-		dodoc ./gappa.pdf
-	fi
-}

diff --git a/sci-mathematics/gappa/gappa-1.0.0.ebuild b/sci-mathematics/gappa/gappa-1.0.0.ebuild
new file mode 100644
index 0000000..41f9f72
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-1.0.0.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=5
+
+PID=32744
+
+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/${PID}/${P}.tar.gz"
+
+LICENSE="|| ( CeCILL-2 GPL-2 )"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86 ~amd64-linux ~x86-linux"
+IUSE="doc static-libs"
+
+RDEPEND="
+	dev-libs/gmp
+	dev-libs/mpfr
+	dev-libs/boost"
+DEPEND="${RDEPEND}
+	doc? ( app-doc/doxygen )"
+
+src_compile(){
+	./remake -d ${MAKEOPTS} || die
+	if use doc; then
+		cd doc/doxygen
+		doxygen Doxyfile || die "doxygen failed"
+	fi
+}
+
+src_install(){
+	dobin src/gappa
+	dodoc README AUTHORS ChangeLog NEWS TODO
+	use doc && dohtml -r doc/doxygen/html/*
+}