[packages/NuSMV] - fix c++ parsing issue - rel 12

[baggins]

commit 8c1f86cffe24d9974c24f751c4e1174812843e69
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Sun Oct 20 11:50:04 2019 +0200

    - fix c++ parsing issue
    - rel 12

 NuSMV.spec |  4 +++-
 cxx.patch  | 11 +++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)
---
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"
diff --git a/cxx.patch b/cxx.patch
new file mode 100644
index 0000000..1a9f506
--- /dev/null
+++ b/cxx.patch
@@ -0,0 +1,11 @@
+--- NuSMV-2.5.4/MiniSat/MiniSat_v070721_nusmv.patch~	2019-10-20 11:47:17.000000000 +0200
++++ NuSMV-2.5.4/MiniSat/MiniSat_v070721_nusmv.patch	2019-10-20 11:48:41.416405292 +0200
+@@ -598,7 +598,7 @@
+ +  return (MiniSat_ptr)new SimpSolver();
+ +}
+ +
+-+extern "C"void MiniSat_Delete(MiniSat_ptr ms)
+++extern "C" void MiniSat_Delete(MiniSat_ptr ms)
+ +{
+ +  delete (SimpSolver *)ms;
+ +}
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/NuSMV.git/commitdiff/8c1f86cffe24d9974c24f751c4e1174812843e69