- add missing headers/defs required for vfork/wait3

- rel 10

diff --git a/NuSMV.spec b/NuSMV.spec
index 4fb6a9c2ce8ddb8fca72b778a91910121ab21021..65e4a1940eeda7a6d49b6a49613ec5f7aaf3c795 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:       9
+Release:       10
 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
@@ -107,6 +108,7 @@ install %{SOURCE2} zchaff/
 %patch0 -p1
 %patch1 -p1
 %patch2 -p1
+%patch3 -p1
 
 %build
 ICFLAGS="%{rpmcflags} -fPIC"

diff --git a/fork.patch b/fork.patch
new file mode 100644 (file)
index 0000000..961d874
--- /dev/null
+++ b/fork.patch
@@ -0,0 +1,23 @@
+--- NuSMV-2.5.4/cudd-2.4.1.1/util/pipefork.c.orig      2016-10-18 19:09:45.873681378 +0200
++++ NuSMV-2.5.4/cudd-2.4.1.1/util/pipefork.c   2016-10-18 19:11:50.617472653 +0200
+@@ -12,6 +12,11 @@
+ #include <sys/wait.h>
+ #endif
+ 
++#include <sys/types.h>
++#include <sys/time.h>
++#include <sys/resource.h>
++#include <sys/wait.h>
++#include <unistd.h>
+ 
+ #ifndef __GNUC__
+ extern pid_t wait3 ARGS((int *statusp, int options, struct rusage *rusage));
+@@ -40,7 +45,7 @@
+     int topipe[2], frompipe[2];
+     char buffer[1024];
+ 
+-#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__) 
++#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__) || defined(__linux__)
+     int status;
+ #else
+     union wait status;