# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: Exp $

IUSE="gtk coq pvs apron"

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="~alpha ~amd64 ~hppa ~ia64 ~ppc ~sparc ~x86 ~x86-fbsd"

RDEPEND="coq? ( sci-mathematics/coq )
	pvs? ( sci-mathematics/pvs )
	apron? ( dev-libs/apron )"

DEPEND="${RDEPEND}
	>=dev-lang/ocaml-3.09
	gtk? ( >=dev-ml/lablgtk-2.6 )"

src_unpack() {
	unpack ${A}
	cd "${S}"
	sed -i -e "s/\$(COQLIB)/\$(DESTDIR)\/\$(COQLIB)/g" Makefile.in
        sed -i -e "s/-w \$(DESTDIR)\/\$(COQLIB)/-w \$(COQLIB)/g" Makefile.in
	sed -i -e "s/\$(PVSLIB)\/why/\$(DESTDIR)\$(PVSLIB)\/why/g" Makefile.in
}

src_compile(){
	if use apron; then
                myconf="--enable-apron=yes"
        else
                myconf="--enable-apron=yes"
        fi

	econf --datarootdir=\${prefix}/share --exec_prefix=NONE --bindir=\${exec_prefix}/bin ${myconf} || die "econf failed"
	emake -j1 DESTDIR="/" || die "emake failed"
}

src_install(){
	emake install DESTDIR="${D}" || die "emake install failed"
}