Ticket #16210: patch-cudd-Makefile.diff
File patch-cudd-Makefile.diff, 331 bytes (added by mij@…, 16 years ago) |
---|
-
Makefile
old new 12 12 #EXE = .exe 13 13 14 14 MFLAG = 15 ICFLAGS = -g 15 ICFLAGS = -g -dynamiclib 16 16 XCFLAGS = -DDD_STATS 17 17 CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS) 18 18 #DDDEBUG = -DDD_DEBUG -DDD_CACHE_PROFILE -DDD_VERBOSE -DDD_UNIQUE_PROFILE