# Copyright 1999-2009 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: Exp $ DESCRIPTION="The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation" HOMEPAGE="http://apron.cri.ensmp.fr/library/" SRC_URI="http://apron.cri.ensmp.fr/library/apron-0.9.9.tgz" LICENSE="LGPL-2 GPL-2" SLOT="0" KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~sparc ~x86" IUSE="ocaml ppl" RDEPEND="dev-libs/gmp dev-libs/mpfr ocaml? ( >=dev-lang/ocaml-3.09 dev-ml/camlidl ) ppl? ( dev-libs/ppl )" DEPEND="${RDEPEND} sys-apps/sed" src_unpack() { unpack ${A} cd ${S} mv Makefile.config.model Makefile.config sed -i -e "s/APRON_PREFIX = \/usr/APRON_PREFIX = \${DESTDIR}\/usr/g" Makefile.config sed -i -e "s/MLGMPIDL_PREFIX = \/usr\/local/MLGMPIDL_PREFIX = \${DESTDIR}\/usr/g" Makefile.config if use ppl; then sed -i -e "s/# HAS_PPL = 1/HAS_PPL = 1/g" Makefile.config fi if use !ocaml; then sed -i -e "s/HAS_OCAML = 1/HAS_OCAML = 0/g" Makefile.config fi } src_compile() { emake || emake || die "emake failed" } src_install(){ emake install DESTDIR="${D}" || die "emake install failed" }