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 8816C138A1A for ; Sun, 8 Feb 2015 21:08:01 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id AD5B4E08B0; Sun, 8 Feb 2015 21:07:55 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 71571E0895 for ; Sun, 8 Feb 2015 21:07:53 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 68FFA340764 for ; Sun, 8 Feb 2015 21:07:52 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 96BC51159A for ; Sun, 8 Feb 2015 21:07:48 +0000 (UTC) From: "Christoph Junghans" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Christoph Junghans" Message-ID: <1423389851.c901a3e918a37be894738ac50ba0b12752916903.ottxor@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/why3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/why3/ChangeLog sci-mathematics/why3/why3-0.83.ebuild X-VCS-Directories: sci-mathematics/why3/ X-VCS-Committer: ottxor X-VCS-Committer-Name: Christoph Junghans X-VCS-Revision: c901a3e918a37be894738ac50ba0b12752916903 X-VCS-Branch: master Date: Sun, 8 Feb 2015 21:07:48 +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: bef86f98-f620-4210-8176-c4686a44d387 X-Archives-Hash: ee4c42e0fa6b75ad4a1c2736d2e63cee commit: c901a3e918a37be894738ac50ba0b12752916903 Author: Marius Brehler linux sungazer de> AuthorDate: Sun Feb 8 10:04:11 2015 +0000 Commit: Christoph Junghans gentoo org> CommitDate: Sun Feb 8 10:04:11 2015 +0000 URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=c901a3e9 sci-mathematics/why3-0.83: Cleanup ebuild --- sci-mathematics/why3/ChangeLog | 6 +++++- sci-mathematics/why3/why3-0.83.ebuild | 28 ++++++++++++++++------------ 2 files changed, 21 insertions(+), 13 deletions(-) diff --git a/sci-mathematics/why3/ChangeLog b/sci-mathematics/why3/ChangeLog index 5fa385d..e50e10d 100644 --- a/sci-mathematics/why3/ChangeLog +++ b/sci-mathematics/why3/ChangeLog @@ -1,7 +1,11 @@ # ChangeLog for sci-mathematics/why3 -# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 08 Feb 2015; Marius Brehler + why3-0.83.ebuild: + Cleanup ebuild + 16 Sep 2014; Christoph Junghans why3-0.83.ebuild: drop autotools.eclass diff --git a/sci-mathematics/why3/why3-0.83.ebuild b/sci-mathematics/why3/why3-0.83.ebuild index 61ceaed..1abb3d5 100644 --- a/sci-mathematics/why3/why3-0.83.ebuild +++ b/sci-mathematics/why3/why3-0.83.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="5" +EAPI=5 inherit eutils @@ -23,28 +23,32 @@ DEPEND=">=dev-lang/ocaml-3.12.1 doc? ( dev-tex/rubber )" RDEPEND="${DEPEND}" +DOCS=( CHANGES README Version ) + src_prepare() { - mv doc/why.1 doc/why3.1 - sed -i configure.in -e "s/\"pvs\"/\"sri-pvs\"/g" - sed -i configure -e "s/\"pvs\"/\"sri-pvs\"/g" + mv doc/why.1 doc/why3.1 || die + sed -i configure.in -e "s/\"pvs\"/\"sri-pvs\"/g" || die + sed -i configure -e "s/\"pvs\"/\"sri-pvs\"/g" || die sed -i Makefile.in -e "s:DESTDIR =::g" \ - -e "s:\$(RUBBER) --warn all --pdf manual.tex:makeindex manual.tex; \$(RUBBER) --warn all --pdf manual.tex; cd ..:g" + -e "s:\$(RUBBER) --warn all --pdf manual.tex:makeindex manual.tex; \$(RUBBER) --warn all --pdf manual.tex; cd ..:g" || die } src_configure() { - econf $(use_enable frama-c) || die "econf failed" + econf $(use_enable frama-c) } src_compile() { - emake -j1 || die "emake failed" + MAKEOPTS+=" -j1" + + emake if use doc; then - emake -j1 doc/manual.pdf || die "emake doc failed" + emake doc/manual.pdf fi } src_install(){ - emake install DESTDIR="${D}" || die "emake install failed" - dodoc CHANGES README Version + default + doman doc/why3.1 if use doc; then dodoc doc/manual.pdf @@ -53,4 +57,4 @@ src_install(){ insinto /usr/share/doc/${PF} doins -r examples fi - } +}