blob: d5efc818332f6935b8bde6b6d8de5ccb0c3799f6 (
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.3.ebuild,v 1.1 2013/02/02 07:34:52 patrick Exp $
inherit eutils flag-o-matic toolchain-funcs
NUSMV_PN="NuSMV"
NUSMV_PV="${PV}"
NUSMV_P="${NUSMV_PN}-${NUSMV_PV}"
NUSMV_A="${NUSMV_P}.tar.gz"
NUSMV_S="${WORKDIR}/${NUSMV_P}/nusmv"
MINISAT_PN="MiniSat"
MINISAT_PV="1.14"
MINISAT_P="${MINISAT_PN}_v${MINISAT_PV}"
MINISAT_A="${MINISAT_P}_src.zip"
MINISAT_S="${WORKDIR}/${NUSMV_P}/MiniSat/${MINISAT_P}"
CUDD_PN="cudd"
CUDD_PV="2.4.1.1"
CUDD_P="${CUDD_PN}-${CUDD_PV}"
#CUDD_A is none
CUDD_S="${WORKDIR}/${NUSMV_P}/${CUDD_P}"
DESCRIPTION="NuSMV: new symbolic model checker"
HOMEPAGE="http://nusmv.irst.itc.it/"
SRC_URI="http://nusmv.fbk.eu/distrib/${NUSMV_A}
minisat? ( mirror://gentoo/${MINISAT_A} )"
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE="minisat examples"
RDEPEND="dev-libs/expat"
DEPEND="${RDEPEND}
virtual/latex-base
dev-texlive/texlive-latexextra
app-text/ghostscript-gpl
www-client/lynx
dev-lang/perl"
# the above 4 are for docs, which aren't optional yet patches welcome to
# avoid building the docs but I suspect anybody using this package will
# actually need them
S="${NUSMV_S}"
src_unpack() {
unpack ${NUSMV_A}
if use minisat; then
cd "${WORKDIR}"/${NUSMV_P}/MiniSat
unpack ${MINISAT_A}
epatch ${MINISAT_P}_nusmv.patch
epatch "${FILESDIR}"/${MINISAT_P}-optimizedlib.patch
epatch "${FILESDIR}"/${MINISAT_P}_gcc41.patch
fi
cd "${CUDD_S}"
if [[ "$(tc-arch)" = amd64 ]] ; then
mv Makefile_64bit Makefile || die
fi
sed -i Makefile -e 's/-mcpu=[^\s]*//' || die
for i in ${NUSMV_S}/doc/{user-man,tutorial}/Makefile.in ; do
sed -i.orig \
'/install_sh_DATA/s!$(datadir)!$(DESTDIR)$(datadir)!g' \
${i} || die "sed $i failed"
done
}
src_compile() {
if [[ "$(tc-arch)" = x86 ]] ; then
append-flags -DNUSMV_SIZEOF_VOID_P=4 -DNUSMV_SIZEOF_LONG=4 -DNUSMV_SIZEOF_INT=4
fi
rm -f ${NUSMV_S}/${MINISAT_P}
if use minisat; then
cd ${MINISAT_S}
# do NOT merge these targets
emake COPTIMIZE="${CFLAGS}" r || die "Failed to build minisat bin"
emake COPTIMIZE="${CFLAGS}" lr || die "Failed to build minisat lib"
ln -sf ${MINISAT_S} "${WORKDIR}"/${NUSMV_P}/${MINISAT_P}
fi
cd ${CUDD_S}
emake clean || die "Failed to clean cudd out."
emake \
CPP="$(tc-getCPP)" CC="$(tc-getCC)" \
RANLIB="$(tc-getRANLIB)" ICFLAGS="${CFLAGS}" \
|| die "Failed to build cudd."
local myconf="$(use_enable minisat) --enable-pslparser"
if use minisat; then
myconf="${myconf}
--with-minisat-incdir=../${MINISAT_P}
--with-minisat-libdir=../${MINISAT_P}"
fi
cd ${NUSMV_S}
econf ${myconf}
emake || die "emake failed"
VARTEXFONTS="${T}"/fonts emake docs
}
src_install() {
into /usr
if use minisat; then
newbin ${MINISAT_S}/minisat_release minisat
fi
dodir /usr/share/nusmv/doc
cd ${NUSMV_S}
emake DESTDIR="${D}" install || die "emake install failed"
# duplicate items
rm -f "${D}"/usr/share/nusmv/{LGPL-2.1,README*,NEWS}
# real docs
dodoc README* NEWS AUTHORS
dodoc doc/tutorial/tutorial.pdf
dodoc doc/user-man/nusmv.pdf
# move package-installed docs
mv "${D}"/usr/share/nusmv/doc/* "${D}"/usr/share/doc/${PF}/
rmdir "${D}"/usr/share/nusmv/doc
# clean out examples if not needed
if use !examples ; then
rm -rf "${D}"/usr/share/nusmv/examples || die "Failed to remove examples"
fi
}
src_test() {
cd ${NUSMV_S}
emake check || die "emake check failed"
}
|
GitWeb