From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 9F987138200 for ; Mon, 12 Aug 2013 21:27:28 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 81D94E0ADE; Mon, 12 Aug 2013 21:27:26 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 0846DE0ADE for ; Mon, 12 Aug 2013 21:27:25 +0000 (UTC) Received: from hornbill.gentoo.org (hornbill.gentoo.org [94.100.119.163]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id E1CDC33E182 for ; Mon, 12 Aug 2013 21:27:24 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by hornbill.gentoo.org (Postfix) with ESMTP id 2A879E5464 for ; Mon, 12 Aug 2013 21:27:22 +0000 (UTC) From: "Sebastien Fabbro" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sebastien Fabbro" Message-ID: <1376342603.4356328a867c29e3e249403c5b202d429062b7bb.bicatali@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappa/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/gappa/ChangeLog sci-mathematics/gappa/gappa-0.16.3.ebuild sci-mathematics/gappa/gappa-1.0.0.ebuild X-VCS-Directories: sci-mathematics/gappa/ X-VCS-Committer: bicatali X-VCS-Committer-Name: Sebastien Fabbro X-VCS-Revision: 4356328a867c29e3e249403c5b202d429062b7bb X-VCS-Branch: master Date: Mon, 12 Aug 2013 21:27:22 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 445d3a37-3763-483f-9128-f0de38ff6178 X-Archives-Hash: 0ff593ade4de63dc04fe57e3632fccb6 commit: 4356328a867c29e3e249403c5b202d429062b7bb Author: Sébastien Fabbro gentoo org> AuthorDate: Mon Aug 12 21:23:23 2013 +0000 Commit: Sebastien Fabbro gentoo 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 +gappa-1.0.0.ebuild, + -gappa-0.16.3.ebuild: + sci-mathematics/gappa: Version bump + 14 Jan 2013; J.-C. Demay +gappa-0.16.3.ebuild, -gappa-0.15.1.ebuild: version bump @@ -26,4 +32,3 @@ 04 Jul 2010; J.-C. Demay +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/* +}