Ticket #41653: patch-Makefile.diff

File patch-Makefile.diff, 771 bytes (added by SCL@…, 11 years ago)

  • Makefile

    old new  
    99INSTALLDIR = /usr/local/bin
    1010SRCDIR = src
    1111EXPDIR = exp
    12 export CUDD_ROOT = extern/cudd-2.5.0
    13 CUDD_LIB = $(CUDD_ROOT)/cudd/libcudd.a $(CUDD_ROOT)/mtr/libmtr.a $(CUDD_ROOT)/st/libst.a $(CUDD_ROOT)/util/libutil.a $(CUDD_ROOT)/epd/libepd.a
    1412
    1513LEX = flex
    1614LFLAGS =
    … …  
    2119LD = ld -r
    2220
    2321export CFLAGS_BASE = -g -Wall -pedantic -ansi -DHAVE_IEEE_754 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
    24 CFLAGS = $(CFLAGS_BASE) -I$(CUDD_ROOT)/include -Isrc
    25 LDFLAGS = $(CUDD_LIB) -lm
     22CFLAGS = $(CFLAGS_BASE) -I/opt/local/include/cudd -Isrc
     23LDFLAGS = -L/opt/local/lib/cudd -lcudd -lm
    2624
    2725# To use and statically link with GNU Readline
    2826#CFLAGS += -DUSE_READLINE