Ticket #16210: patch-Makefile

File patch-Makefile, 623 bytes (added by mij@…, 16 years ago)

patch for libcudd's Makefile

Line 
1--- Makefile.orig       2008-07-31 12:02:00.000000000 +0200
2+++ Makefile    2008-07-31 12:02:28.000000000 +0200
3@@ -62,7 +62,7 @@
4 #  Linux
5 #
6 # Gcc 2.8.1 or higher on i686.
7-XCFLAGS        = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
8+#XCFLAGS       = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
9 # Gcc 3.2.2 or higher on i686.
10 #XCFLAGS       = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD
11 # Icc on i686.
12@@ -195,7 +195,7 @@
13 INCLUDE = -I$(IDIR)
14 
15 BDIRS  = cudd dddmp mtr st util epd
16-DIRS   = $(BDIRS) nanotrav
17+DIRS   = $(BDIRS) nanotrav obj
18 
19 #------------------------------------------------------------------------
20