X-Git-Url: http://git.pld-linux.org/?a=blobdiff_plain;f=NuSMV.spec;fp=NuSMV.spec;h=0350e01ec8b372fe0225723bf22871ecc71de89e;hb=8c1f86cffe24d9974c24f751c4e1174812843e69;hp=4251cf7b4f8ca13b6f4358af29e259a261341ce6;hpb=e2c66126e74f490d1a1fdfbe9eb3f22bf16405b8;p=packages%2FNuSMV.git

diff --git a/NuSMV.spec b/NuSMV.spec
index 4251cf7..0350e01 100644
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -9,7 +9,7 @@ Summary:	New Symbolic Model Verifier
 Summary(pl.UTF-8):	Nowy weryfikator modeli symbolicznych
 Name:		NuSMV
 Version:	2.5.4
-Release:	11
+Release:	12
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.fbk.eu/distrib/%{name}-%{version}.tar.gz
@@ -22,6 +22,7 @@ Patch0:		%{name}-build.patch
 Patch1:		%{name}-solvers.patch
 Patch2:		format-security.patch
 Patch3:		fork.patch
+Patch4:		cxx.patch
 URL:		http://nusmv.fbk.eu/
 BuildRequires:	autoconf
 BuildRequires:	automake
@@ -109,6 +110,7 @@ install %{SOURCE2} zchaff/
 %patch1 -p1
 %patch2 -p1
 %patch3 -p1
+%patch4 -p1
 
 %build
 ICFLAGS="%{rpmcflags} -fPIC"