blob: 76dfdb021a0e0f7ed390393f9fb3351b99782d43 (
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
|
# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.3.1.ebuild,v 1.7 2011/10/05 18:44:32 aballier Exp $
inherit eutils 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.3.0.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/"
# The Homepage is _very_ slow, 2Kb/sec or worse.
# So we use our own mirror.
# Additionally, MiniSat is distributed with a slightly different filename
# So we mirror it ourselves
SRC_URI="mirror://gentoo/${NUSMV_A}
http://nusmv.irst.itc.it/distrib/${NUSMV_A}
minisat? ( mirror://gentoo/${MINISAT_A} )"
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~x86 ~amd64"
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
fi
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() {
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."
cd ${NUSMV_S}
econf `use_enable minisat` \
--enable-sa \
--enable-sa-cpp \
--enable-psl || die "econf failed"
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