- fix c++ parsing issue

[packages/NuSMV.git] / NuSMV.spec

diff --git a/NuSMV.spec b/NuSMV.spec
index 4251cf7b4f8ca13b6f4358af29e259a261341ce6..0350e01ec8b372fe0225723bf22871ecc71de89e 100644 (file)
--- 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"