public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2011-02-13  8:02 Jonathan-Christofer Demay
  0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-13  8:02 UTC (permalink / raw
  To: gentoo-commits

commit:     ba663332dcb17fef0371ebd4f28c259994eeeff3
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Sun Feb 13 10:04:59 2011 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Sun Feb 13 10:04:59 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=ba663332

sci-mathematics/gappa: version bump

---
 sci-mathematics/gappa/ChangeLog                    |    8 ++++++--
 .../{gappa-0.13.0.ebuild => gappa-0.14.0.ebuild}   |    6 ++++++
 2 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index 534190f..8175f69 100644
--- a/sci-mathematics/gappa/ChangeLog
+++ b/sci-mathematics/gappa/ChangeLog
@@ -1,7 +1,11 @@
 # ChangeLog for sci-mathematics/gappa
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  13 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
+  +gappa-0.14.0.ebuild, -gappa-0.13.0.ebuild:
+  version bump
+
   04 Jul 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
   gappa-0.13.0.ebuild:
   Silence repoman; improve license description; move doc generation
@@ -9,7 +13,7 @@
 
   04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
   +gappa-0.13.0.ebuild, -gappa-0.12.1.ebuild:
-  Version bump
+  version bump
   
   04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
   +metadata.xml, +ChangeLog:

diff --git a/sci-mathematics/gappa/gappa-0.13.0.ebuild b/sci-mathematics/gappa/gappa-0.14.0.ebuild
similarity index 94%
rename from sci-mathematics/gappa/gappa-0.13.0.ebuild
rename to sci-mathematics/gappa/gappa-0.14.0.ebuild
index 24d09a4..1339151 100644
--- a/sci-mathematics/gappa/gappa-0.13.0.ebuild
+++ b/sci-mathematics/gappa/gappa-0.14.0.ebuild
@@ -21,6 +21,12 @@ 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" \



^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2011-06-25 17:22 Justin Lecher
  0 siblings, 0 replies; 13+ messages in thread
From: Justin Lecher @ 2011-06-25 17:22 UTC (permalink / raw
  To: gentoo-commits

commit:     55cc2668a40b877bdcfbd3294d219d7516e550c6
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 25 16:23:33 2011 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 25 16:23:33 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=55cc2668

Version Bump

---
 sci-mathematics/gappa/ChangeLog           |    6 +++
 sci-mathematics/gappa/gappa-0.14.0.ebuild |   56 -----------------------------
 sci-mathematics/gappa/gappa-0.15.0.ebuild |   56 +++++++++++++++++++++++++++++
 3 files changed, 62 insertions(+), 56 deletions(-)

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index 8175f69..c5da9be 100644
--- a/sci-mathematics/gappa/ChangeLog
+++ b/sci-mathematics/gappa/ChangeLog
@@ -2,6 +2,12 @@
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+*gappa-0.15.0 (25 Jun 2011)
+
+  25 Jun 2011; Justin Lecher <jlec@gentoo.org> -gappa-0.14.0.ebuild,
+  +gappa-0.15.0.ebuild:
+  Version Bump
+
   13 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
   +gappa-0.14.0.ebuild, -gappa-0.13.0.ebuild:
   version bump

diff --git a/sci-mathematics/gappa/gappa-0.14.0.ebuild b/sci-mathematics/gappa/gappa-0.14.0.ebuild
deleted file mode 100644
index 1339151..0000000
--- a/sci-mathematics/gappa/gappa-0.14.0.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2010 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/26856/${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_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" \
-		-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-0.15.0.ebuild b/sci-mathematics/gappa/gappa-0.15.0.ebuild
new file mode 100644
index 0000000..525651f
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-0.15.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=4
+
+ID=28594
+
+DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
+HOMEPAGE="http://gappa.gforge.inria.fr/"
+SRC_URI="https://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz"
+
+LICENSE="|| ( CeCILL-2.0 GPL-2 )"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+IUSE="doc"
+
+RDEPEND="
+	dev-libs/boost
+	dev-libs/gmp
+	dev-libs/mpfr"
+DEPEND="${RDEPEND}
+	doc? (
+		app-text/texlive
+		app-text/ghostscript-gpl
+		app-doc/doxygen )"
+
+src_prepare() {
+	if use doc; then
+		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" || die
+	fi
+}
+
+src_compile(){
+	emake DESTDIR="/"
+
+	if use doc; then
+		cd doc/doxygen
+		doxygen Doxyfile || die "doxygen failed"
+		cd "${S}"
+		emake -C doc/doxygen/latex
+	fi
+}
+
+src_install(){
+	default
+
+	if use doc; then
+		mv doc/doxygen/latex/refman.pdf ./gappa.pdf
+		dodoc ./gappa.pdf
+	fi
+}



^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2012-02-06 14:31 Jonathan-Christofer Demay
  0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2012-02-06 14:31 UTC (permalink / raw
  To: gentoo-commits

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

sci-mathematics/gappa: version bump

---
 sci-mathematics/gappa/ChangeLog           |    8 ++---
 sci-mathematics/gappa/gappa-0.15.0.ebuild |   56 -----------------------------
 sci-mathematics/gappa/gappa-0.15.1.ebuild |   56 +++++++++++++++++++++++++++++
 sci-mathematics/gappa/metadata.xml        |    2 +-
 4 files changed, 60 insertions(+), 62 deletions(-)

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index c5da9be..c7bc51e 100644
--- a/sci-mathematics/gappa/ChangeLog
+++ b/sci-mathematics/gappa/ChangeLog
@@ -2,11 +2,9 @@
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
-*gappa-0.15.0 (25 Jun 2011)
-
-  25 Jun 2011; Justin Lecher <jlec@gentoo.org> -gappa-0.14.0.ebuild,
-  +gappa-0.15.0.ebuild:
-  Version Bump
+  21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+  +gappa-0.15.1.ebuild, -gappa-0.14.0.ebuild:
+  version bump
 
   13 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
   +gappa-0.14.0.ebuild, -gappa-0.13.0.ebuild:

diff --git a/sci-mathematics/gappa/gappa-0.15.0.ebuild b/sci-mathematics/gappa/gappa-0.15.0.ebuild
deleted file mode 100644
index 525651f..0000000
--- a/sci-mathematics/gappa/gappa-0.15.0.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2011 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI=4
-
-ID=28594
-
-DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
-HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2.0 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
-IUSE="doc"
-
-RDEPEND="
-	dev-libs/boost
-	dev-libs/gmp
-	dev-libs/mpfr"
-DEPEND="${RDEPEND}
-	doc? (
-		app-text/texlive
-		app-text/ghostscript-gpl
-		app-doc/doxygen )"
-
-src_prepare() {
-	if use doc; then
-		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" || die
-	fi
-}
-
-src_compile(){
-	emake DESTDIR="/"
-
-	if use doc; then
-		cd doc/doxygen
-		doxygen Doxyfile || die "doxygen failed"
-		cd "${S}"
-		emake -C doc/doxygen/latex
-	fi
-}
-
-src_install(){
-	default
-
-	if use doc; then
-		mv doc/doxygen/latex/refman.pdf ./gappa.pdf
-		dodoc ./gappa.pdf
-	fi
-}

diff --git a/sci-mathematics/gappa/gappa-0.15.1.ebuild b/sci-mathematics/gappa/gappa-0.15.1.ebuild
new file mode 100644
index 0000000..0fa2899
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-0.15.1.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2010 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/29004/${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_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" \
+		-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/metadata.xml b/sci-mathematics/gappa/metadata.xml
index c3ef8c6..b9102d9 100644
--- a/sci-mathematics/gappa/metadata.xml
+++ b/sci-mathematics/gappa/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>
 		Gappa is a tool intended to help verifying and formally proving
 		properties on numerical programs dealing with floating-point or



^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2013-01-14 14:10 Jonathan-Christofer Demay
  0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2013-01-14 14:10 UTC (permalink / raw
  To: gentoo-commits

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>


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2013-08-12 21:27 Sebastien Fabbro
  0 siblings, 0 replies; 13+ messages in thread
From: Sebastien Fabbro @ 2013-08-12 21:27 UTC (permalink / raw
  To: gentoo-commits

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/*
+}


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2014-09-16 17:01 Christoph Junghans
  0 siblings, 0 replies; 13+ messages in thread
From: Christoph Junghans @ 2014-09-16 17:01 UTC (permalink / raw
  To: gentoo-commits

commit:     56055ea09ef4a955c801c2d21a20fd9ae462e4e2
Author:     Christoph Junghans <ottxor <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 16 16:49:42 2014 +0000
Commit:     Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Tue Sep 16 16:49:42 2014 +0000
URL:        http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=56055ea0

remove last line

Package-Manager: portage-2.2.8-r1

---
 sci-mathematics/gappa/ChangeLog          | 3 +++
 sci-mathematics/gappa/gappa-1.1.1.ebuild | 1 -
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog
index f43aec5..ac6414d 100644
--- a/sci-mathematics/gappa/ChangeLog
+++ b/sci-mathematics/gappa/ChangeLog
@@ -2,6 +2,9 @@
 # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> gappa-1.1.1.ebuild:
+  remove last line
+
   21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
   -gappa-1.0.0.ebuild, +gappa-1.1.1.ebuild:
   version bump

diff --git a/sci-mathematics/gappa/gappa-1.1.1.ebuild b/sci-mathematics/gappa/gappa-1.1.1.ebuild
index 3da8e4b..931291a 100644
--- a/sci-mathematics/gappa/gappa-1.1.1.ebuild
+++ b/sci-mathematics/gappa/gappa-1.1.1.ebuild
@@ -37,4 +37,3 @@ src_install() {
 	dodoc NEWS README AUTHORS ChangeLog
 	use doc && dohtml -A png -r doc/html/*
 }
-


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2015-09-21 19:05 Justin Lecher
  0 siblings, 0 replies; 13+ messages in thread
From: Justin Lecher @ 2015-09-21 19:05 UTC (permalink / raw
  To: gentoo-commits

commit:     d197317f97b49a2a94aed045dab725d82bce9e7f
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 21 18:47:10 2015 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Sep 21 18:47:10 2015 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=d197317f

sci-mathematics/gappa: Add subslot operators

Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec <AT> gentoo.org>

 sci-mathematics/gappa/gappa-1.1.1.ebuild | 15 ++++++++-------
 sci-mathematics/gappa/metadata.xml       |  4 ++--
 2 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/sci-mathematics/gappa/gappa-1.1.1.ebuild b/sci-mathematics/gappa/gappa-1.1.1.ebuild
index 83b353f..e6060f3 100644
--- a/sci-mathematics/gappa/gappa-1.1.1.ebuild
+++ b/sci-mathematics/gappa/gappa-1.1.1.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Id$
 
 EAPI="5"
 
-DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic"
+DESCRIPTION="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/33486/${P}.tar.gz"
 
@@ -13,11 +13,12 @@ SLOT="0"
 KEYWORDS="~amd64 ~x86"
 IUSE="doc"
 
-RDEPEND="dev-libs/gmp
-		dev-libs/mpfr
-		dev-libs/boost"
+RDEPEND="
+	dev-libs/gmp:0=
+	dev-libs/mpfr:0=
+	dev-libs/boost"
 DEPEND="${RDEPEND}
-		doc? ( app-doc/doxygen )"
+	doc? ( app-doc/doxygen )"
 
 src_prepare() {
 	sed -i Remakefile.in \
@@ -33,7 +34,7 @@ src_compile() {
 }
 
 src_install() {
-	DESTDIR="${D}" ./remake install || die "emake install failed"
+	DESTDIR="${D}" ./remake install
 	dodoc NEWS README AUTHORS ChangeLog
 	use doc && dohtml -A png -r doc/html/*
 }

diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml
index 2b01d6b..01e567d 100644
--- a/sci-mathematics/gappa/metadata.xml
+++ b/sci-mathematics/gappa/metadata.xml
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-<herd>sci-mathematics</herd>
-<longdescription>
+  <herd>sci-mathematics</herd>
+  <longdescription>
   Gappa is a tool intended to help verifying and formally proving
   properties on numerical programs dealing with floating-point or
   fixed-point arithmetic. It has been used to write robust floating-point


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2021-03-04 12:09 Andrew Ammerlaan
  0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 12:09 UTC (permalink / raw
  To: gentoo-commits

commit:     479b911a514a16c9779baff55a90d573a233950c
Author:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar  4 12:04:05 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar  4 12:04:05 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=479b911a

sci-mathematics/gappa: drop old

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>

 sci-mathematics/gappa/gappa-1.1.1.ebuild | 39 --------------------------------
 1 file changed, 39 deletions(-)

diff --git a/sci-mathematics/gappa/gappa-1.1.1.ebuild b/sci-mathematics/gappa/gappa-1.1.1.ebuild
deleted file mode 100644
index 97c64ef6e..000000000
--- a/sci-mathematics/gappa/gappa-1.1.1.ebuild
+++ /dev/null
@@ -1,39 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-DESCRIPTION="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/33486/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="doc"
-
-RDEPEND="
-	dev-libs/gmp:0=
-	dev-libs/mpfr:0=
-	dev-libs/boost"
-DEPEND="${RDEPEND}
-	doc? ( app-doc/doxygen )"
-
-src_prepare() {
-	sed -i Remakefile.in \
-		-e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \
-		-e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g"
-}
-
-src_compile() {
-	./remake -d ${MAKEOPTS} || die "emake failed"
-	if use doc; then
-		./remake doc/html/index.html
-	fi
-}
-
-src_install() {
-	DESTDIR="${D}" ./remake install
-	dodoc NEWS README AUTHORS ChangeLog
-	use doc && dohtml -A png -r doc/html/*
-}


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2021-03-04 12:09 Andrew Ammerlaan
  0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 12:09 UTC (permalink / raw
  To: gentoo-commits

commit:     82e6bf6bd0f7df08909b1f1bb5031907b13428cc
Author:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar  4 12:03:47 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar  4 12:03:47 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=82e6bf6b

sci-mathematics/gappa: version bump 1.3.5, EAPI bump

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>

 sci-mathematics/gappa/gappa-1.3.5.ebuild | 41 ++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)

diff --git a/sci-mathematics/gappa/gappa-1.3.5.ebuild b/sci-mathematics/gappa/gappa-1.3.5.ebuild
new file mode 100644
index 000000000..26461a439
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-1.3.5.ebuild
@@ -0,0 +1,41 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
+HOMEPAGE="http://gappa.gforge.inria.fr/"
+SRC_URI="https://gforge.inria.fr/frs/download.php/file/38044/${P}.tar.gz"
+
+LICENSE="|| ( CeCILL-2 GPL-2 )"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="doc"
+
+RDEPEND="
+	dev-libs/gmp:0=
+	dev-libs/mpfr:0=
+	dev-libs/boost
+"
+DEPEND="${RDEPEND}
+	doc? ( app-doc/doxygen )"
+
+src_prepare() {
+	default
+	sed -i Remakefile.in \
+		-e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \
+		-e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g"
+}
+
+src_compile() {
+	./remake -d ${MAKEOPTS} || die "emake failed"
+	if use doc; then
+		./remake doc/html/index.html
+	fi
+}
+
+src_install() {
+	DESTDIR="${D}" ./remake install
+	einstalldocs
+	use doc && dodoc -r doc/html/*
+}


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2021-06-09 14:25 Andrew Ammerlaan
  0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-06-09 14:25 UTC (permalink / raw
  To: gentoo-commits

commit:     17f2d67ce495f5dc5a7c904e3a2ace655fb6e117
Author:     Lucas Mitrak <lucas <AT> lucasmitrak <DOT> com>
AuthorDate: Tue Jun  8 11:45:57 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Wed Jun  9 14:25:16 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=17f2d67c

sci-mathematics/gappa: Remove -l or --load-average from ${MAKEOPTS}

* Remove -l or --load-average from ${MAKEOPTS} in src_compile()

Currently, sci-mathematics/gappa will fail to compile if either -l or
--load-average is set in ${MAKEOPTS} because remake does not accept
them. This commit will remove either -l or --load-average from
${MAKEOPTS} during the src_compile() stage in the same method found in
a suggested patch [1] written by developer Lars Wendler in bug
653554 [2]. This will allow the package to compile and install
correctly.
This commit was tested in a docker image with dev-util/ebuildtester.
This commit was written, tested, and submitted by Lucas Mitrak.

[1] https://653554.bugs.gentoo.org/attachment.cgi?id=528056
[2] https://bugs.gentoo.org/653554
Closes: https://bugs.gentoo.org/568368
Signed-off-by: Lucas Mitrak <lucas <AT> lucasmitrak.com>
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>

 sci-mathematics/gappa/gappa-1.3.5.ebuild | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/sci-mathematics/gappa/gappa-1.3.5.ebuild b/sci-mathematics/gappa/gappa-1.3.5.ebuild
index 26461a439..d7907989d 100644
--- a/sci-mathematics/gappa/gappa-1.3.5.ebuild
+++ b/sci-mathematics/gappa/gappa-1.3.5.ebuild
@@ -28,6 +28,11 @@ src_prepare() {
 }
 
 src_compile() {
+	# Remove --load-average or -l because remake does not accept these
+	echo ${MAKEOPTS} | egrep -o '(\-l|\-\-load\-average)(=?|[[:space:]]*)[[:digit:]]+' > /dev/null
+	if [ $? -eq 0 ]; then
+		MAKEOPTS="${MAKEOPTS/$(echo ${MAKEOPTS} | egrep -o '(\-l|\-\-load\-average)(=?|[[:space:]]*)[[:digit:]]+')/}"
+	fi
 	./remake -d ${MAKEOPTS} || die "emake failed"
 	if use doc; then
 		./remake doc/html/index.html


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2021-06-09 14:25 Andrew Ammerlaan
  0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-06-09 14:25 UTC (permalink / raw
  To: gentoo-commits

commit:     b111bc689a1bbd5a7b9e82d350b9e600fc6d2190
Author:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Wed Jun  9 14:23:51 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Wed Jun  9 14:25:16 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=b111bc68

sci-mathematics/gappa: add version 1.4.0

Package-Manager: Portage-3.0.19, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>

 sci-mathematics/gappa/gappa-1.4.0.ebuild | 42 ++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/sci-mathematics/gappa/gappa-1.4.0.ebuild b/sci-mathematics/gappa/gappa-1.4.0.ebuild
new file mode 100644
index 000000000..7395c8ea3
--- /dev/null
+++ b/sci-mathematics/gappa/gappa-1.4.0.ebuild
@@ -0,0 +1,42 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DOCS_BUILDER="doxygen"
+DOCS_DIR="doc/doxygen"
+
+inherit docs multiprocessing
+
+DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
+HOMEPAGE="https://gappa.gitlabpages.inria.fr/"
+SRC_URI="https://gforge.inria.fr/frs/download.php/file/38436/${P}.tar.gz"
+
+LICENSE="|| ( CeCILL-2 GPL-2 )"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+RDEPEND="
+	dev-libs/gmp:0=
+	dev-libs/mpfr:0=
+	dev-libs/boost
+"
+DEPEND="${RDEPEND}"
+
+src_prepare() {
+	default
+	sed -i Remakefile.in \
+		-e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \
+		-e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g" || die
+}
+
+src_compile() {
+	# Only accept number of parrellel jobs because remake does not understand --load-average
+	./remake -d -j$(makeopts_jobs) || die "emake failed"
+	docs_compile
+}
+
+src_install() {
+	DESTDIR="${D}" ./remake install
+	einstalldocs
+}


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2021-06-09 14:25 Andrew Ammerlaan
  0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-06-09 14:25 UTC (permalink / raw
  To: gentoo-commits

commit:     1f496e085b4a6dbd477c8749be667e4c1bbfd48a
Author:     Lucas Mitrak <lucas <AT> lucasmitrak <DOT> com>
AuthorDate: Wed Jun  9 11:35:20 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Wed Jun  9 14:25:16 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=1f496e08

sci-mathematics/gappa: Add multiprocessing.eclass for makeopts_jobs

* Add inherit multiprocessing.eclass for makeopts_jobs
* This is because remake does not understand -l nor --load-average

This commit was tested in a docker image with dev-util/ebuildtester.
This commit was written, tested, and submitted by Lucas Mitrak.
Signed-off-by: Lucas Mitrak <lucas <AT> lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1090
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>

 sci-mathematics/gappa/gappa-1.3.5.ebuild | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/sci-mathematics/gappa/gappa-1.3.5.ebuild b/sci-mathematics/gappa/gappa-1.3.5.ebuild
index d7907989d..58ce7ffe7 100644
--- a/sci-mathematics/gappa/gappa-1.3.5.ebuild
+++ b/sci-mathematics/gappa/gappa-1.3.5.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=7
 
+inherit multiprocessing
+
 DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
 HOMEPAGE="http://gappa.gforge.inria.fr/"
 SRC_URI="https://gforge.inria.fr/frs/download.php/file/38044/${P}.tar.gz"
@@ -28,12 +30,8 @@ src_prepare() {
 }
 
 src_compile() {
-	# Remove --load-average or -l because remake does not accept these
-	echo ${MAKEOPTS} | egrep -o '(\-l|\-\-load\-average)(=?|[[:space:]]*)[[:digit:]]+' > /dev/null
-	if [ $? -eq 0 ]; then
-		MAKEOPTS="${MAKEOPTS/$(echo ${MAKEOPTS} | egrep -o '(\-l|\-\-load\-average)(=?|[[:space:]]*)[[:digit:]]+')/}"
-	fi
-	./remake -d ${MAKEOPTS} || die "emake failed"
+	# Only accept number of parrellel jobs because remake does not understand --load-average
+	./remake -d -j$(makeopts_jobs) || die "emake failed"
 	if use doc; then
 		./remake doc/html/index.html
 	fi


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/
@ 2023-01-03 19:09 Andrew Ammerlaan
  0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2023-01-03 19:09 UTC (permalink / raw
  To: gentoo-commits

commit:     46b7600be977223b6bf5cfff161ab76a89035970
Author:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Tue Jan  3 19:08:09 2023 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Tue Jan  3 19:08:09 2023 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=46b7600b

sci-mathematics/gappa: treeclean

Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>

 sci-mathematics/gappa/gappa-1.3.5.ebuild | 44 --------------------------------
 sci-mathematics/gappa/gappa-1.4.0.ebuild | 42 ------------------------------
 sci-mathematics/gappa/metadata.xml       | 15 -----------
 3 files changed, 101 deletions(-)

diff --git a/sci-mathematics/gappa/gappa-1.3.5.ebuild b/sci-mathematics/gappa/gappa-1.3.5.ebuild
deleted file mode 100644
index 58ce7ffe7..000000000
--- a/sci-mathematics/gappa/gappa-1.3.5.ebuild
+++ /dev/null
@@ -1,44 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit multiprocessing
-
-DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
-HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/38044/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="doc"
-
-RDEPEND="
-	dev-libs/gmp:0=
-	dev-libs/mpfr:0=
-	dev-libs/boost
-"
-DEPEND="${RDEPEND}
-	doc? ( app-doc/doxygen )"
-
-src_prepare() {
-	default
-	sed -i Remakefile.in \
-		-e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \
-		-e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g"
-}
-
-src_compile() {
-	# Only accept number of parrellel jobs because remake does not understand --load-average
-	./remake -d -j$(makeopts_jobs) || die "emake failed"
-	if use doc; then
-		./remake doc/html/index.html
-	fi
-}
-
-src_install() {
-	DESTDIR="${D}" ./remake install
-	einstalldocs
-	use doc && dodoc -r doc/html/*
-}

diff --git a/sci-mathematics/gappa/gappa-1.4.0.ebuild b/sci-mathematics/gappa/gappa-1.4.0.ebuild
deleted file mode 100644
index 7395c8ea3..000000000
--- a/sci-mathematics/gappa/gappa-1.4.0.ebuild
+++ /dev/null
@@ -1,42 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-DOCS_BUILDER="doxygen"
-DOCS_DIR="doc/doxygen"
-
-inherit docs multiprocessing
-
-DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic"
-HOMEPAGE="https://gappa.gitlabpages.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/38436/${P}.tar.gz"
-
-LICENSE="|| ( CeCILL-2 GPL-2 )"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-RDEPEND="
-	dev-libs/gmp:0=
-	dev-libs/mpfr:0=
-	dev-libs/boost
-"
-DEPEND="${RDEPEND}"
-
-src_prepare() {
-	default
-	sed -i Remakefile.in \
-		-e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \
-		-e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g" || die
-}
-
-src_compile() {
-	# Only accept number of parrellel jobs because remake does not understand --load-average
-	./remake -d -j$(makeopts_jobs) || die "emake failed"
-	docs_compile
-}
-
-src_install() {
-	DESTDIR="${D}" ./remake install
-	einstalldocs
-}

diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml
deleted file mode 100644
index 448d16798..000000000
--- a/sci-mathematics/gappa/metadata.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="project">
-		<email>sci-mathematics@gentoo.org</email>
-		<name>Gentoo Mathematics Project</name>
-	</maintainer>
-	<longdescription>
-Gappa is a tool intended to help verifying and formally proving
-properties on numerical programs dealing with floating-point or
-fixed-point arithmetic. It has been used to write robust floating-point
-filters for CGAL and it is used to certify elementary functions in
-CRlibm.
-</longdescription>
-</pkgmetadata>


^ permalink raw reply related	[flat|nested] 13+ messages in thread
end of thread, other threads:[~2023-01-03 19:09 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-09-21 19:05 [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/ Justin Lecher
  -- strict thread matches above, loose matches on Subject: below --
2023-01-03 19:09 Andrew Ammerlaan
2021-06-09 14:25 Andrew Ammerlaan
2021-06-09 14:25 Andrew Ammerlaan
2021-06-09 14:25 Andrew Ammerlaan
2021-03-04 12:09 Andrew Ammerlaan
2021-03-04 12:09 Andrew Ammerlaan
2014-09-16 17:01 Christoph Junghans
2013-08-12 21:27 Sebastien Fabbro
2013-01-14 14:10 Jonathan-Christofer Demay
2012-02-06 14:31 Jonathan-Christofer Demay
2011-06-25 17:22 Justin Lecher
2011-02-13  8:02 Jonathan-Christofer Demay

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox