diff options
author | Justin Lecher <jlec@gentoo.org> | 2015-09-21 20:38:45 +0200 |
---|---|---|
committer | Justin Lecher <jlec@gentoo.org> | 2015-09-21 20:38:54 +0200 |
commit | 6dfa52397fdce7ace780fe1e03e9db334c2427a9 (patch) | |
tree | c2e785128ef62c9f0722ced285af9c38d05e0b38 /sci-mathematics/apron/apron-0.9.10-r1.ebuild | |
parent | sci-mathematics/alt-ergo: Add subslot operators (diff) | |
download | sci-6dfa52397fdce7ace780fe1e03e9db334c2427a9.tar.gz sci-6dfa52397fdce7ace780fe1e03e9db334c2427a9.tar.bz2 sci-6dfa52397fdce7ace780fe1e03e9db334c2427a9.zip |
sci-mathematics/apron: Add subslot operators
Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Diffstat (limited to 'sci-mathematics/apron/apron-0.9.10-r1.ebuild')
-rw-r--r-- | sci-mathematics/apron/apron-0.9.10-r1.ebuild | 33 |
1 files changed, 19 insertions, 14 deletions
diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild index eb6a7f612..622c06b0e 100644 --- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild +++ b/sci-mathematics/apron/apron-0.9.10-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -6,7 +6,7 @@ EAPI="5" inherit eutils toolchain-funcs -DESCRIPTION="Library for static analysis of the numerical variables of a program by Abstract Interpretation" +DESCRIPTION="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/${P}.tgz" @@ -15,24 +15,30 @@ SLOT="0" KEYWORDS="~amd64 ~x86" IUSE="doc ocaml" -RDEPEND="ocaml? ( >=dev-lang/ocaml-3.09 - dev-ml/camlidl - dev-ml/mlgmpidl ) - dev-libs/gmp - dev-libs/mpfr" +RDEPEND=" + ocaml? ( + >=dev-lang/ocaml-3.09 + dev-ml/camlidl + dev-ml/mlgmpidl + ) + dev-libs/gmp:0= + dev-libs/mpfr:0=" DEPEND="${RDEPEND} - doc? ( app-text/texlive - app-text/ghostscript-gpl )" + doc? ( + app-text/texlive + app-text/ghostscript-gpl + )" src_prepare() { - mv Makefile.config.model Makefile.config + mv Makefile.config.model Makefile.config || die #fix compile process sed -i Makefile.config \ -e "s/FLAGS = \\\/FLAGS += \\\/g" \ -e "s/-O3 -DNDEBUG/-DNDEBUG/g" \ -e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \ - -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" + -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" \ + || die #fix doc building process sed -i Makefile -e "s/; make html/; make/g" @@ -51,12 +57,11 @@ src_prepare() { } src_compile() { - emake -j1 || die "emake failed" + emake -j1 } src_install(){ - emake install DESTDIR="${D}" || die "emake install failed" - dodoc AUTHORS Changes README + default if use doc; then dodoc apron/apron.pdf |