sci-mathematics/frama-c/frama-c-20081201.ebuild

frama-c-20081201.ebuild (text/plain), 1.23 KB, created by Le retraité on 2008-12-17 16:05:36 UTC

# 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/${PN/-c/-c-Lithium}-${PV/_/+}.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"

S="${WORKDIR}/${PN/-c/-c-Lithium}-${PV/_/+}"

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