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"