blob: fdd62cab7016f403036d0af475e120a1c75ae108 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
EAPI="2"
inherit eutils toolchain-funcs
DESCRIPTION="Library for 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"
LICENSE="LGPL-2 GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86"
IUSE="cxx doc ocaml ppl"
RDEPEND="ocaml? ( >=dev-lang/ocaml-3.09
dev-ml/camlidl
dev-ml/mlgmpidl )
dev-libs/gmp
dev-libs/mpfr
ppl? ( dev-libs/ppl )"
DEPEND="${RDEPEND}
doc? ( app-text/texlive
app-text/ghostscript-gpl
cxx? ( app-doc/doxygen
dev-tex/rubber ) )"
src_prepare() {
mv Makefile.config.model Makefile.config
#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"
#fix doc building process
sed -i Makefile -e "s/; make html/; make/g"
sed -i apronxx/Makefile \
-e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex; dvipdf refman.dvi:g"
sed -i apronxx/doc/Doxyfile \
-e "s/OUTPUT_DIRECTORY = \/.*/OUTPUT_DIRECTORY = .\//g" \
-e "s/STRIP_FROM_PATH = \/.*/STRIP_FROM_PATH = .\//g"
#fix ppl install for 32 platforms
sed -i ppl/Makefile -e "s/libap_ppl_caml\*\./libap_ppl\*\./g"
if [[ "$(gcc-major-version)" == "4" ]]; then
sed -i -e "s/# HAS_LONG_DOUBLE = 1/HAS_LONG_DOUBLE = 1/g" Makefile.config
fi
if use !ocaml; then
sed -i -e "s/HAS_OCAML = 1/#HAS_OCAML = 0/g" Makefile.config
fi
if use ppl; then
sed -i -e "s/# HAS_PPL = 1/HAS_PPL = 1/g" Makefile.config
fi
if use cxx && use ppl; then
sed -i -e "s/# HAS_CPP = 1/HAS_CPP = 1/g" Makefile.config
else
die "USE flag 'cxx' needs USE flag 'ppl' set"
fi
}
src_compile() {
#damn crappy Makefile
emake || emake || die "emake failed"
if use doc && use cxx; then
emake -C apronxx doc || "emake doc failed"
fi
}
src_install(){
emake install DESTDIR="${D}" || die "emake install failed"
dodoc AUTHORS Changes README
if use doc; then
dodoc apron/apron.pdf
if use ocaml; then
dodoc mlapronidl/mlapronidl.pdf
fi
if use cxx; then
mv apronxx/doc/latex/refman.pdf apronxx/apronxx.pdf
dodoc ./apronxx/apronxx.pdf
fi
fi
}
|