Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych
Name: NuSMV
Version: 2.5.4
-Release: 3
+Release: 11
License: LGPL
Group: Applications
Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
Patch0: %{name}-build.patch
Patch1: %{name}-solvers.patch
Patch2: format-security.patch
+Patch3: fork.patch
URL: http://nusmv.irst.itc.it/
BuildRequires: autoconf
BuildRequires: automake
%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
%build
ICFLAGS="%{rpmcflags} -fPIC"
%{__make}
-%{__make} docs
+%{__make} -j1 docs
%install
rm -rf $RPM_BUILD_ROOT