- release 11 (by relup.sh)

[packages/NuSMV.git] / NuSMV.spec

diff --git a/NuSMV.spec b/NuSMV.spec
index 7d3796f0eaa3a1e4d572082dd32b7863ff4fea76..f91974bb145c27da7323c4533312113e98e498ee 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -9,7 +9,7 @@ Summary:        New Symbolic Model Verifier
 Summary(pl.UTF-8):     Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
 Version:       2.5.4
-Release:       6
+Release:       11
 License:       LGPL
 Group:         Applications
 Source0:       http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
@@ -21,6 +21,7 @@ Source2:      http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip
 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
@@ -98,13 +99,16 @@ Statyczna biblioteka NuSMV.
 
 %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"