Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych
Name: NuSMV
Version: 2.5.4
-Release: 3
+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
Patch0: %{name}-build.patch
Patch1: %{name}-solvers.patch
Patch2: format-security.patch
-URL: http://nusmv.irst.itc.it/
+Patch3: fork.patch
+Patch4: cxx.patch
+URL: http://nusmv.fbk.eu/
BuildRequires: autoconf
BuildRequires: automake
BuildRequires: expat-devel
%prep
%setup -q
-%patch0 -p1
-
install %{SOURCE1} MiniSat/
+cd MiniSat
+unzip -q *.zip
+cd ..
install %{SOURCE2} zchaff/
+%patch0 -p1
%patch1 -p1
%patch2 -p1
+%patch3 -p1
+%patch4 -p1
%build
ICFLAGS="%{rpmcflags} -fPIC"
%{__make}
-%{__make} docs
+%{__make} -j1 docs
%install
rm -rf $RPM_BUILD_ROOT