commit: c901a3e918a37be894738ac50ba0b12752916903 Author: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de> AuthorDate: Sun Feb 8 10:04:11 2015 +0000 Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> 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 <[email protected]> + why3-0.83.ebuild: + Cleanup ebuild + 16 Sep 2014; Christoph Junghans <[email protected]> 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 - } +}
