1 |
phajdan.jr 11/01/01 17:49:54 |
2 |
|
3 |
Modified: ChangeLog |
4 |
Added: nusmv-2.5.2.ebuild |
5 |
Log: |
6 |
Version bump. |
7 |
|
8 |
(Portage version: 2.1.9.25/cvs/Linux i686) |
9 |
|
10 |
Revision Changes Path |
11 |
1.11 sci-mathematics/nusmv/ChangeLog |
12 |
|
13 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/ChangeLog?rev=1.11&view=markup |
14 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/ChangeLog?rev=1.11&content-type=text/plain |
15 |
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/ChangeLog?r1=1.10&r2=1.11 |
16 |
|
17 |
Index: ChangeLog |
18 |
=================================================================== |
19 |
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v |
20 |
retrieving revision 1.10 |
21 |
retrieving revision 1.11 |
22 |
diff -u -r1.10 -r1.11 |
23 |
--- ChangeLog 13 Jul 2010 02:22:15 -0000 1.10 |
24 |
+++ ChangeLog 1 Jan 2011 17:49:54 -0000 1.11 |
25 |
@@ -1,6 +1,11 @@ |
26 |
# ChangeLog for sci-mathematics/nusmv |
27 |
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 |
28 |
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.10 2010/07/13 02:22:15 phajdan.jr Exp $ |
29 |
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 |
30 |
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.11 2011/01/01 17:49:54 phajdan.jr Exp $ |
31 |
+ |
32 |
+*nusmv-2.5.2 (01 Jan 2011) |
33 |
+ |
34 |
+ 01 Jan 2011; Pawel Hajdan jr <phajdan.jr@g.o> +nusmv-2.5.2.ebuild: |
35 |
+ Version bump. |
36 |
|
37 |
13 Jul 2010; Pawel Hajdan jr <phajdan.jr@g.o> |
38 |
+files/cudd-no-pentium4.patch, nusmv-2.5.0.ebuild: |
39 |
|
40 |
|
41 |
|
42 |
1.1 sci-mathematics/nusmv/nusmv-2.5.2.ebuild |
43 |
|
44 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild?rev=1.1&view=markup |
45 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild?rev=1.1&content-type=text/plain |
46 |
|
47 |
Index: nusmv-2.5.2.ebuild |
48 |
=================================================================== |
49 |
# Copyright 1999-2011 Gentoo Foundation |
50 |
# Distributed under the terms of the GNU General Public License v2 |
51 |
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/nusmv-2.5.2.ebuild,v 1.1 2011/01/01 17:49:54 phajdan.jr Exp $ |
52 |
|
53 |
inherit eutils flag-o-matic toolchain-funcs |
54 |
|
55 |
NUSMV_PN="NuSMV" |
56 |
NUSMV_PV="${PV}" |
57 |
NUSMV_P="${NUSMV_PN}-${NUSMV_PV}" |
58 |
NUSMV_A="${NUSMV_P}.tar.gz" |
59 |
NUSMV_S="${WORKDIR}/${NUSMV_P}/nusmv" |
60 |
|
61 |
MINISAT_PN="MiniSat" |
62 |
MINISAT_PV="1.14" |
63 |
MINISAT_P="${MINISAT_PN}_v${MINISAT_PV}" |
64 |
MINISAT_A="${MINISAT_P}_src.zip" |
65 |
MINISAT_S="${WORKDIR}/${NUSMV_P}/MiniSat/${MINISAT_P}" |
66 |
|
67 |
CUDD_PN="cudd" |
68 |
CUDD_PV="2.4.1.1" |
69 |
CUDD_P="${CUDD_PN}-${CUDD_PV}" |
70 |
#CUDD_A is none |
71 |
CUDD_S="${WORKDIR}/${NUSMV_P}/${CUDD_P}" |
72 |
|
73 |
DESCRIPTION="NuSMV: new symbolic model checker" |
74 |
HOMEPAGE="http://nusmv.irst.itc.it/" |
75 |
SRC_URI="http://nusmv.fbk.eu/distrib/${NUSMV_A} |
76 |
minisat? ( mirror://gentoo/${MINISAT_A} )" |
77 |
LICENSE="LGPL-2.1" |
78 |
SLOT="0" |
79 |
KEYWORDS="~x86 ~amd64" |
80 |
IUSE="minisat examples" |
81 |
RDEPEND="dev-libs/expat" |
82 |
DEPEND="${RDEPEND} |
83 |
virtual/latex-base |
84 |
|| ( ( dev-texlive/texlive-latexextra ) |
85 |
app-text/ptex ) |
86 |
app-text/ghostscript-gpl |
87 |
www-client/lynx |
88 |
dev-lang/perl" |
89 |
# the above 4 are for docs, which aren't optional yet patches welcome to |
90 |
# avoid building the docs but I suspect anybody using this package will |
91 |
# actually need them |
92 |
S="${NUSMV_S}" |
93 |
|
94 |
src_unpack() { |
95 |
unpack ${NUSMV_A} |
96 |
if use minisat; then |
97 |
cd "${WORKDIR}"/${NUSMV_P}/MiniSat |
98 |
unpack ${MINISAT_A} |
99 |
epatch ${MINISAT_P}_nusmv.patch |
100 |
epatch "${FILESDIR}"/${MINISAT_P}-optimizedlib.patch |
101 |
epatch "${FILESDIR}"/${MINISAT_P}_gcc41.patch |
102 |
fi |
103 |
|
104 |
cd "${CUDD_S}" |
105 |
if [[ "$(tc-arch)" = amd64 ]] ; then |
106 |
mv Makefile_64bit Makefile || die |
107 |
fi |
108 |
sed -i Makefile -e 's/-mcpu=[^\s]*//' || die |
109 |
|
110 |
for i in ${NUSMV_S}/doc/{user-man,tutorial}/Makefile.in ; do |
111 |
sed -i.orig \ |
112 |
'/install_sh_DATA/s!$(datadir)!$(DESTDIR)$(datadir)!g' \ |
113 |
${i} || die "sed $i failed" |
114 |
done |
115 |
} |
116 |
|
117 |
src_compile() { |
118 |
if [[ "$(tc-arch)" = x86 ]] ; then |
119 |
append-flags -DNUSMV_SIZEOF_VOID_P=4 -DNUSMV_SIZEOF_LONG=4 -DNUSMV_SIZEOF_INT=4 |
120 |
fi |
121 |
|
122 |
rm -f ${NUSMV_S}/${MINISAT_P} |
123 |
if use minisat; then |
124 |
cd ${MINISAT_S} |
125 |
# do NOT merge these targets |
126 |
emake COPTIMIZE="${CFLAGS}" r || die "Failed to build minisat bin" |
127 |
emake COPTIMIZE="${CFLAGS}" lr || die "Failed to build minisat lib" |
128 |
ln -sf ${MINISAT_S} "${WORKDIR}"/${NUSMV_P}/${MINISAT_P} |
129 |
fi |
130 |
|
131 |
cd ${CUDD_S} |
132 |
emake clean || die "Failed to clean cudd out." |
133 |
emake \ |
134 |
CPP="$(tc-getCPP)" CC="$(tc-getCC)" \ |
135 |
RANLIB="$(tc-getRANLIB)" ICFLAGS="${CFLAGS}" \ |
136 |
|| die "Failed to build cudd." |
137 |
|
138 |
local myconf="$(use_enable minisat) --enable-pslparser" |
139 |
if use minisat; then |
140 |
myconf="${myconf} |
141 |
--with-minisat-incdir=../${MINISAT_P} |
142 |
--with-minisat-libdir=../${MINISAT_P}" |
143 |
fi |
144 |
|
145 |
cd ${NUSMV_S} |
146 |
econf ${myconf} || die "econf failed" |
147 |
emake || die "emake failed" |
148 |
|
149 |
VARTEXFONTS="${T}"/fonts emake docs |
150 |
} |
151 |
|
152 |
src_install() { |
153 |
into /usr |
154 |
if use minisat; then |
155 |
newbin ${MINISAT_S}/minisat_release minisat |
156 |
fi |
157 |
|
158 |
dodir /usr/share/nusmv/doc |
159 |
cd ${NUSMV_S} |
160 |
emake DESTDIR="${D}" install || die "emake install failed" |
161 |
# duplicate items |
162 |
rm -f "${D}"/usr/share/nusmv/{LGPL-2.1,README*,NEWS} |
163 |
# real docs |
164 |
dodoc README* NEWS AUTHORS |
165 |
dodoc doc/tutorial/tutorial.pdf |
166 |
dodoc doc/user-man/nusmv.pdf |
167 |
|
168 |
# move package-installed docs |
169 |
mv "${D}"/usr/share/nusmv/doc/* "${D}"/usr/share/doc/${PF}/ |
170 |
rmdir "${D}"/usr/share/nusmv/doc |
171 |
|
172 |
# clean out examples if not needed |
173 |
if use !examples ; then |
174 |
rm -rf "${D}"/usr/share/nusmv/examples || die "Failed to remove examples" |
175 |
fi |
176 |
} |
177 |
|
178 |
src_test() { |
179 |
cd ${NUSMV_S} |
180 |
emake check || die "emake check failed" |
181 |
} |