Author: baggins Date: Tue May 18 10:46:20 2010 GMT Module: packages Tag: HEAD ---- Log message: - updated to 2.5.0
---- Files affected: packages/NuSMV: NuSMV.spec (1.13 -> 1.14) ---- Diffs: ================================================================ Index: packages/NuSMV/NuSMV.spec diff -u packages/NuSMV/NuSMV.spec:1.13 packages/NuSMV/NuSMV.spec:1.14 --- packages/NuSMV/NuSMV.spec:1.13 Sun May 16 16:13:30 2010 +++ packages/NuSMV/NuSMV.spec Tue May 18 12:46:14 2010 @@ -9,12 +9,12 @@ Summary: New Symbolic Model Verifier Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych Name: NuSMV -Version: 2.4.3 -Release: 3 +Version: 2.5.0 +Release: 1 License: LGPL Group: Applications Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz -# Source0-md5: f9fb88139b388c6ba8d31b0ad1ce5254 +# Source0-md5: 904c06c57d3882bc5a10f09ca0ba9a06 Source1: http://minisat.se/downloads/minisat2-%{minisat_ver}.zip # Source1-md5: fb12db9a13f86a2133758abfba239546 Source2: http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip @@ -122,25 +122,22 @@ cd nusmv -%{__libtoolize} -%{__aclocal} -%{__autoconf} -%{__autoheader} -%{__automake} -%configure \ +/bin/bash %configure \ --enable-shared \ --enable-psl \ %{?with_zchaff:--enable-zchaff} \ --enable-minisat %{__make} -%{__make} docs +%{__make} docs \ + SHELL=/bin/bash %install rm -rf $RPM_BUILD_ROOT install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version} %{__make} -j1 -C nusmv install \ + SHELL=/bin/bash \ DESTDIR=$RPM_BUILD_ROOT cp -a nusmv/examples/* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version} @@ -160,8 +157,8 @@ %doc nusmv/doc/user-man/nusmv.p* %doc nusmv/doc/html %attr(755,root,root) %{_bindir}/* -%attr(755,root,root) %ghost %{_libdir}/libnusmv*.so.0 -%attr(755,root,root) %{_libdir}/libnusmv*.so.*.*.* +%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0 +%attr(755,root,root) %{_libdir}/lib*smv*.so.*.*.* %dir %{_datadir}/nusmv %{_datadir}/nusmv/contrib %{_datadir}/nusmv/help @@ -170,15 +167,15 @@ %files devel %defattr(644,root,root,755) -%attr(755,root,root) %{_libdir}/libnusmv*.so -%{_libdir}/libnusmv*.la +%attr(755,root,root) %{_libdir}/lib*smv*.so +%{_libdir}/lib*smv*.la %{_includedir}/cudd* %{_includedir}/nusmv %{_pkgconfigdir}/* %files static %defattr(644,root,root,755) -%attr(755,root,root) %{_libdir}/libnusmv*.a +%attr(755,root,root) %{_libdir}/lib*smv*.a %define date %(echo `LC_ALL="C" date +"%a %b %d %Y"`) %changelog @@ -186,6 +183,9 @@ All persons listed below can be reached at <cvs_login>@pld-linux.org $Log$ +Revision 1.14 2010/05/18 10:46:14 baggins +- updated to 2.5.0 + Revision 1.13 2010/05/16 14:13:30 sparky - BR: unzip ================================================================ ---- CVS-web: http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/NuSMV/NuSMV.spec?r1=1.13&r2=1.14&f=u _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
