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