# Copyright 1999-2008 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2

IUSE="gtk coq"

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 )"

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

src_compile(){
	cd "${S}"

	sed -i -e "s/\$(COQLIB)/\$(DESTDIR)\/\$(COQLIB)/g" Makefile.in

	econf || die "econf failed"
	emake DESTDIR="/" || die "emake failed"
}

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