diff options
Diffstat (limited to 'sci-mathematics/why/why-2.34.ebuild')
| -rw-r--r-- | sci-mathematics/why/why-2.34.ebuild | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/sci-mathematics/why/why-2.34.ebuild b/sci-mathematics/why/why-2.34.ebuild new file mode 100644 index 000000000..c7eddfa66 --- /dev/null +++ b/sci-mathematics/why/why-2.34.ebuild @@ -0,0 +1,66 @@ +# Copyright 1999-2010 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI="2" + +inherit autotools eutils + +DESCRIPTION="Why is a software verification platform" +HOMEPAGE="http://why.lri.fr/" +SRC_URI="http://why.lri.fr/download/${P}.tar.gz" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="apron coq doc examples gappa frama-c gtk pff why3" + +DEPEND=">=dev-lang/ocaml-3.12.1 + >=dev-ml/ocamlgraph-1.2 + gtk? ( >=dev-ml/lablgtk-2.14 ) + apron? ( sci-mathematics/apron ) + coq? ( sci-mathematics/coq ) + gappa? ( sci-mathematics/gappalib-coq ) + pff? ( sci-mathematics/pff ) + frama-c? ( >=sci-mathematics/frama-c-20140301 ) + why3? ( sci-mathematics/why3 )" +RDEPEND="${DEPEND}" + +src_prepare() { + sed -i Makefile.in \ + -e "s/DESTDIR =.*//g" \ + -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" + + #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" + + epatch "${FILESDIR}"/why-flocq23.patch + eautoreconf +} + +src_configure() { + econf $(use_enable apron) PATH="/usr/bin:$PATH" || die "econf failed" +} + +src_compile(){ + DESTDIR="/" emake -j1 || die "emake failed" +} + +src_install(){ + DESTDIR="${D}" emake install || die "emake install failed" + dodoc CHANGES README Version + doman doc/why.1 + + if use doc; then + dodoc doc/manual.ps + fi + + if use examples; then + insinto /usr/share/doc/${PF} + doins -r examples examples-c + fi +} |