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
Patch1: %{name}-solvers.patch
Patch2: format-security.patch
Patch3: fork.patch
+Patch4: cxx.patch
URL: http://nusmv.fbk.eu/
BuildRequires: autoconf
BuildRequires: automake
%patch1 -p1
%patch2 -p1
%patch3 -p1
+%patch4 -p1
%build
ICFLAGS="%{rpmcflags} -fPIC"
--- /dev/null
+--- 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;
+ +}