Ticket #16210: patch-cudd-Makefile.diff

File patch-cudd-Makefile.diff, 331 bytes (added by mij@…, 16 years ago)

  • Makefile

    old new  
    1212#EXE    = .exe
    1313
    1414MFLAG   =
    15 ICFLAGS = -g
     15ICFLAGS = -g -dynamiclib
    1616XCFLAGS = -DDD_STATS
    1717CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
    1818#DDDEBUG        = -DDD_DEBUG -DDD_CACHE_PROFILE -DDD_VERBOSE -DDD_UNIQUE_PROFILE