Author: baggins Date: Fri Sep 14 13:36:39 2007 GMT
Module: SOURCES Tag: HEAD
---- Log message:
- added cleanups for 2.4.3
---- Files affected:
SOURCES:
NuSMV-build.patch (1.1 -> 1.2)
---- Diffs:
================================================================
Index: SOURCES/NuSMV-build.patch
diff -u SOURCES/NuSMV-build.patch:1.1 SOURCES/NuSMV-build.patch:1.2
--- SOURCES/NuSMV-build.patch:1.1 Tue Oct 3 18:36:40 2006
+++ SOURCES/NuSMV-build.patch Fri Sep 14 15:36:34 2007
@@ -43,3 +43,34 @@
# FileName [ extract_doc.in ]
#
+--- NuSMV-2.4.3/cudd-2.4.1.0/Makefile.orig 2007-05-10 19:37:13.000000000
+0200
++++ NuSMV-2.4.3/cudd-2.4.1.0/Makefile 2007-09-14 15:33:55.000000000 +0200
+@@ -55,7 +55,7 @@
+ # These four are typical settings for optimized code with gcc. The
+ # last two also work with icc/ecc.
+ #ICFLAGS = -g -O6 -Wall
+-ICFLAGS = -g -O6
++#ICFLAGS = -g -O6
+ #ICFLAGS = -g -O3 -Wall
+ #ICFLAGS = -g -O3
+
+@@ -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.
+--- NuSMV-2.4.3/cudd-2.4.1.0/Makefile_64bit~ 2007-03-14 11:31:56.000000000
+0100
++++ NuSMV-2.4.3/cudd-2.4.1.0/Makefile_64bit 2007-09-14 15:35:25.000000000
+0200
+@@ -55,7 +55,7 @@
+ # These four are typical settings for optimized code with gcc. The
+ # last two also work with icc/ecc.
+ #ICFLAGS = -g -O6 -Wall
+-ICFLAGS = -g -O6
++#ICFLAGS = -g -O6
+ #ICFLAGS = -g -O3 -Wall
+ #ICFLAGS = -g -O3
+
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SOURCES/NuSMV-build.patch?r1=1.1&r2=1.2&f=u
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
