commit: afbcc389ce51f747b2c7e06cd1e1b5b1e170c55a Author: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de> AuthorDate: Sun Feb 8 10:03:51 2015 +0000 Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org> CommitDate: Sun Feb 8 10:03:51 2015 +0000 URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=afbcc389
sci-mathematics/why-2.34: Cleanup ebuild --- sci-mathematics/why/ChangeLog | 6 +++++- sci-mathematics/why/why-2.34.ebuild | 19 +++++++++++-------- 2 files changed, 16 insertions(+), 9 deletions(-) diff --git a/sci-mathematics/why/ChangeLog b/sci-mathematics/why/ChangeLog index 1fc178c..14dc8f5 100644 --- a/sci-mathematics/why/ChangeLog +++ b/sci-mathematics/why/ChangeLog @@ -1,7 +1,11 @@ # ChangeLog for sci-mathematics/why -# 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]> + why-2.34.ebuild: + Cleanup ebuild + 21 Jun 2014; Jonathan-Christofer Demay <[email protected]> -why-2.30.ebuild, -files/why-2.30.patch, +why-2.34.ebuild, +why-flocq23.patch: version bump diff --git a/sci-mathematics/why/why-2.34.ebuild b/sci-mathematics/why/why-2.34.ebuild index 99372cd..4c13022 100644 --- a/sci-mathematics/why/why-2.34.ebuild +++ b/sci-mathematics/why/why-2.34.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 autotools eutils @@ -27,33 +27,36 @@ DEPEND=">=dev-lang/ocaml-3.12.1 why3? ( sci-mathematics/why3 )" RDEPEND="${DEPEND}" +DOCS=( CHANGES README Version ) + src_prepare() { sed -i Makefile.in \ -e "s/DESTDIR =.*//g" \ - -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" + -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" || die #to build with apron-0.9.10 sed -i configure.in \ -e "s/pvs/sri-pvs/g" \ -e "s/oct_caml/octMPQ_caml/g" \ -e "s/box_caml/boxMPQ_caml/g" \ - -e "s/polka_caml/polkaMPQ_caml/g" + -e "s/polka_caml/polkaMPQ_caml/g" || die epatch "${FILESDIR}"/why-flocq23.patch eautoreconf } src_configure() { - econf $(use_enable apron) PATH="/usr/bin:$PATH" || die "econf failed" + econf $(use_enable apron) PATH="/usr/bin:$PATH" } src_compile(){ - emake -j1 DESTDIR="/" || die "emake failed" + MAKEOPTS+=" -j1" + emake DESTDIR="/" } src_install(){ - emake install DESTDIR="${D}" || die "emake install failed" - dodoc CHANGES README Version + default + doman doc/why.1 if use doc; then
