diff options
Diffstat (limited to 'sci-mathematics/nusmv/files/cudd-no-pentium4.patch')
| -rw-r--r-- | sci-mathematics/nusmv/files/cudd-no-pentium4.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/sci-mathematics/nusmv/files/cudd-no-pentium4.patch b/sci-mathematics/nusmv/files/cudd-no-pentium4.patch deleted file mode 100644 index 844f7c00d638..000000000000 --- a/sci-mathematics/nusmv/files/cudd-no-pentium4.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- Makefile.orig 2010-07-12 02:54:26.000000000 +0200 -+++ Makefile 2010-07-12 02:54:49.000000000 +0200 -@@ -69,7 +69,7 @@ - # Gcc 2.8.1 or higher on i686. - #XCFLAGS = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD - # Gcc 3.2.2 or higher on i686. --XCFLAGS = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -+XCFLAGS = -malign-double -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 - # Icc on i686. - #XCFLAGS = -ansi -align -ip -DHAVE_IEEE_754 -DBSD - # Gcc on ia64. |