dev-libs/apron/apron-0.9.9.ebuild

apron-0.9.9.ebuild (text/plain), 1.19 KB, created by Jonathan-Christofer Demay on 2009-02-03 21:23:05 UTC

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

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 ~x86-fbsd"

IUSE="ocaml ppl"

RDEPEND="dev-libs/gmp
	dev-libs/mpfr"

DEPEND="${RDEPEND}
	ocaml? ( >=dev-lang/ocaml-3.09
			dev-ml/camlidl )
	ppl? ( dev-libs/ppl )
	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"
}