cudd-2.3.1.patch 2.49 KB
Newer Older
1 2
diff -r -c cudd-2.3.1/Makefile cudd-2.3.1/Makefile
*** cudd-2.3.1/Makefile	2001-05-18 02:54:26.000000000 +0200
Valentin Touzeau's avatar
WIP  
Valentin Touzeau committed
3
--- cudd-2.3.1/Makefile	2018-05-24 15:35:42.034516245 +0200
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
***************
*** 42,48 ****
  #ICFLAGS	=
  # These two are typical settings for optimized code with gcc.
  #ICFLAGS	= -g -O6 -Wall
! ICFLAGS	= -g -O6
  
  # Use XCFLAGS to specify machine-dependent compilation flags.
  # For some platforms no special flags are needed.
--- 42,49 ----
  #ICFLAGS	=
  # These two are typical settings for optimized code with gcc.
  #ICFLAGS	= -g -O6 -Wall
! #ICFLAGS	= -g -O6
! ICFLAGS	= -g -O6 -fPIC
  
  # Use XCFLAGS to specify machine-dependent compilation flags.
  # For some platforms no special flags are needed.
***************
*** 52,58 ****
  #  Linux
  #
  # Gcc 2.8.1 or higher on i686.
! XCFLAGS	= -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
  #
  #==========================
  #  Solaris
--- 53,60 ----
  #  Linux
  #
  # Gcc 2.8.1 or higher on i686.
! #XCFLAGS	= -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
! XCFLAGS	= -malign-double -DHAVE_IEEE_754 -DBSD
  #
  #==========================
  #  Solaris
Valentin Touzeau's avatar
WIP  
Valentin Touzeau committed
40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
diff -r -c cudd-2.3.1/util/pipefork.c cudd-2.3.1/util/pipefork.c
*** cudd-2.3.1/util/pipefork.c	2001-03-19 11:59:06.000000000 +0100
--- cudd-2.3.1/util/pipefork.c	2018-05-24 15:38:43.370514254 +0200
***************
*** 40,50 ****
      int forkpid, waitPid;
      int topipe[2], frompipe[2];
      char buffer[1024];
- #if (defined __hpux) || (defined __osf__) || (defined _IBMR2) || (defined __SVR4) || (defined __CYGWIN32__)
      int status;
- #else
-     union wait status;
- #endif
  
      /* create the PIPES...
       * fildes[0] for reading from command
--- 40,46 ----
57 58
diff -r -c cudd-2.3.1/util/util.h cudd-2.3.1/util/util.h
*** cudd-2.3.1/util/util.h	2001-02-14 19:08:51.000000000 +0100
Valentin Touzeau's avatar
WIP  
Valentin Touzeau committed
59
--- cudd-2.3.1/util/util.h	2018-05-24 15:35:42.018516245 +0200
60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
***************
*** 138,144 ****
  /* most machines don't give us a header file for these */
  #if (defined(__STDC__) || defined(__cplusplus) || defined(ultrix)) && !defined(MNEMOSYNE) || defined(__SVR4)
  # include <stdlib.h>
! EXTERN void free ARGS((void *));
  #else
  # ifndef _IBMR2
      extern VOID_OR_INT abort(), exit();
--- 138,144 ----
  /* most machines don't give us a header file for these */
  #if (defined(__STDC__) || defined(__cplusplus) || defined(ultrix)) && !defined(MNEMOSYNE) || defined(__SVR4)
  # include <stdlib.h>
! /* EXTERN void free ARGS((void *)); */
  #else
  # ifndef _IBMR2
      extern VOID_OR_INT abort(), exit();