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.irst.itc.it/distrib/%{name}-%{version}.tar.gz
+Source0: http://nusmv.fbk.eu/distrib/%{name}-%{version}.tar.gz
# Source0-md5: 4d8ae6136fbd916d875cd48f82d5f327
Source1: http://minisat.se/downloads/minisat2-%{minisat_ver}.zip
# Source1-md5: fb12db9a13f86a2133758abfba239546
Patch1: %{name}-solvers.patch
Patch2: format-security.patch
Patch3: fork.patch
-URL: http://nusmv.irst.itc.it/
+Patch4: cxx.patch
+URL: http://nusmv.fbk.eu/
BuildRequires: autoconf
BuildRequires: automake
BuildRequires: expat-devel
%patch1 -p1
%patch2 -p1
%patch3 -p1
+%patch4 -p1
%build
ICFLAGS="%{rpmcflags} -fPIC"