commit 09aa6f55706f44bed128fb283029a3a5e405dc21
Author: Jan Rękorajski <bagg...@pld-linux.org>
Date: Tue Oct 18 19:15:08 2016 +0200
- add missing headers/defs required for vfork/wait3
- rel 10
NuSMV.spec | 4 +++-
fork.patch | 23 +++++++++++++++++++++++
2 files changed, 26 insertions(+), 1 deletion(-)
---
diff --git a/NuSMV.spec b/NuSMV.spec
index 4fb6a9c..65e4a19 100644
--- 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
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;
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/NuSMV.git/commitdiff/09aa6f55706f44bed128fb283029a3a5e405dc21
_______________________________________________
pld-cvs-commit mailing list
pld-cvs-commit@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
