fork.patch

   1 --- NuSMV-2.5.4/cudd-2.4.1.1/util/pipefork.c.orig       2016-10-18 19:09:45.873681378 +0200
   2 +++ NuSMV-2.5.4/cudd-2.4.1.1/util/pipefork.c    2016-10-18 19:11:50.617472653 +0200
   3 @@ -12,6 +12,11 @@
   4  #include <sys/wait.h>
   5  #endif
   6
   7 +#include <sys/types.h>
   8 +#include <sys/time.h>
   9 +#include <sys/resource.h>
  10 +#include <sys/wait.h>
  11 +#include <unistd.h>
  12
  13  #ifndef __GNUC__
  14  extern pid_t wait3 ARGS((int *statusp, int options, struct rusage *rusage));
  15 @@ -40,7 +45,7 @@
  16      int topipe[2], frompipe[2];
  17      char buffer[1024];
  18
  19 -#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__)
  20 +#if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__) || (defined __MINGW32__) || defined(__linux__)
  21      int status;
  22  #else
  23      union wait status;