diff options
| author |   Paweł Hajdan <phajdan.jr@gentoo.org> | 2010-07-13 02:22:15 +0000 |
|---|---|---|
| committer | Paweł Hajdan <phajdan.jr@gentoo.org> | 2010-07-13 02:22:15 +0000 |
| commit | 2876d3790bd235177398d6cef8fc9ca6e3b48c82 (patch) | |
| tree | ad993bad05d9ae132a25f4664082429ba762304e /sci-mathematics/nusmv/files | |
| parent | Stable for HPPA (bug #325825). (diff) | |
| download | gentoo-2-2876d3790bd235177398d6cef8fc9ca6e3b48c82.tar.gz gentoo-2-2876d3790bd235177398d6cef8fc9ca6e3b48c82.tar.bz2 gentoo-2-2876d3790bd235177398d6cef8fc9ca6e3b48c82.zip | |
Remove forced -mcpu=pentium4 from cudd's Makefile. This fixes bug #327425 reported by Christopher Head <chris2k01@hotmail.com>. Also, added code to use correct Makefile for 64-bit systems.
(Portage version: 2.1.8.3/cvs/Linux i686)
Diffstat (limited to 'sci-mathematics/nusmv/files')
| -rw-r--r-- | sci-mathematics/nusmv/files/cudd-no-pentium4.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/nusmv/files/cudd-no-pentium4.patch b/sci-mathematics/nusmv/files/cudd-no-pentium4.patch new file mode 100644 index 000000000000..844f7c00d638 --- /dev/null +++ b/sci-mathematics/nusmv/files/cudd-no-pentium4.patch @@ -0,0 +1,11 @@ +--- 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. |