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

DESCRIPTION="Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C."
HOMEPAGE="http://www.frama-c.cea.fr/"
SRC_URI="http://www.frama-c.cea.fr/download/frama-c-Lithium-20081002+beta1.tar.gz"

LICENSE="LGPL-2"
SLOT="0"
KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~sparc ~x86 ~x86-fbsd"

IUSE="gtk coq"
RESTRICT="strip"

RDEPEND="coq? ( sci-mathematics/coq )"

DEPEND="${RDEPEND}
	>=dev-lang/ocaml-3.09
	gtk? ( >=dev-ml/lablgtk-2.6 )
	!dev-util/why
	sci-mathematics/ltl2ba
	dev-libs/apron"

src_unpack() {
	unpack ${A}
	mv frama-c-Lithium-20081002+beta1 frama-c-20081002_beta1
}

src_compile() {
        cd "${S}"

	if use gtk; then
		myconf="--enable-gui"
	else
		myconf="--disable-gui"
	fi

	sed -i -e "s/\$(COQLIB)/\$(DESTDIR)\/\$(COQLIB)/g" why/Makefile.in
	sed -i -e "s/-w \$(DESTDIR)\/\$(COQLIB)/-w \$(COQLIB)/g" why/Makefile.in
	sed -i -e "s/--mandir=\$mandir --enable-apron=\$HAS_APRON/--mandir=\$mandir --enable-apron=\$HAS_APRON --host=\$host --build=\$build/g" configure

	econf ${myconf} || die "econf failed"
	emake -j1 DESTDIR="/" || die "emake failed"
}

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