- fix c++ parsing issue

[packages/NuSMV.git] / NuSMV.spec

diff --git a/NuSMV.spec b/NuSMV.spec
index 8e9cb823d4658a78796a8cb1234428c9a0a814fa..0350e01ec8b372fe0225723bf22871ecc71de89e 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -9,10 +9,10 @@ Summary:      New Symbolic Model Verifier
 Summary(pl.UTF-8):     Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
 Version:       2.5.4
-Release:       1
+Release:       12
 License:       LGPL
 Group:         Applications
-Source0:       http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
+Source0:       http://nusmv.fbk.eu/distrib/%{name}-%{version}.tar.gz
 # Source0-md5: 4d8ae6136fbd916d875cd48f82d5f327
 Source1:       http://minisat.se/downloads/minisat2-%{minisat_ver}.zip
 # Source1-md5: fb12db9a13f86a2133758abfba239546
@@ -20,7 +20,10 @@ Source2:     http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip
 # Source2-md5: 7398b3e984a5046755cb3ef6b0e44d2e
 Patch0:                %{name}-build.patch
 Patch1:                %{name}-solvers.patch
-URL:           http://nusmv.irst.itc.it/
+Patch2:                format-security.patch
+Patch3:                fork.patch
+Patch4:                cxx.patch
+URL:           http://nusmv.fbk.eu/
 BuildRequires: autoconf
 BuildRequires: automake
 BuildRequires: expat-devel
@@ -97,12 +100,17 @@ Statyczna biblioteka NuSMV.
 
 %prep
 %setup -q
-%patch0 -p1
-
 install %{SOURCE1} MiniSat/
+cd MiniSat
+unzip -q *.zip
+cd ..
 install %{SOURCE2} zchaff/
 
+%patch0 -p1
 %patch1 -p1
+%patch2 -p1
+%patch3 -p1
+%patch4 -p1
 
 %build
 ICFLAGS="%{rpmcflags} -fPIC"
@@ -135,7 +143,7 @@ cd nusmv
 
 %{__make}
 
-%{__make} docs
+%{__make} -j1 docs
 
 %install
 rm -rf $RPM_BUILD_ROOT
@@ -164,8 +172,10 @@ rm -rf $RPM_BUILD_ROOT
 %doc nusmv/doc/user-man/nusmv.p*
 %doc nusmv/doc/html
 %attr(755,root,root) %{_bindir}/*
-%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0
 %attr(755,root,root) %{_libdir}/lib*smv*.so.*.*.*
+%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0
+%attr(755,root,root) %{_libdir}/librbcdag.so.*.*.*
+%attr(755,root,root) %ghost %{_libdir}/librbcdag.so.0
 %dir %{_datadir}/nusmv
 %{_datadir}/nusmv/contrib
 %{_datadir}/nusmv/help
@@ -175,6 +185,7 @@ rm -rf $RPM_BUILD_ROOT
 %files devel
 %defattr(644,root,root,755)
 %attr(755,root,root) %{_libdir}/lib*smv*.so
+%attr(755,root,root) %{_libdir}/librbcdag.so
 %{_includedir}/cudd*
 %{_includedir}/nusmv
 %{_pkgconfigdir}/*
@@ -182,3 +193,4 @@ rm -rf $RPM_BUILD_ROOT
 %files static
 %defattr(644,root,root,755)
 %attr(755,root,root) %{_libdir}/lib*smv*.a
+%attr(755,root,root) %{_libdir}/librbcdag.a