Ticket #41653: patch-tests-Makefile.diff

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

  • tests/Makefile

    old new  
    33# SCL; 2012, 2013.
    44
    55
    6 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
    7 
    8 CFLAGS = $(CFLAGS_BASE) -I../src -I../$(CUDD_ROOT)/include
    9 LDFLAGS = $(CUDD_LIB) -lm
     6CFLAGS = $(CFLAGS_BASE) -I../src -I/opt/local/include/cudd
     7LDFLAGS = -L/opt/local/lib/cudd -lcudd -lm
    108PROGRAMS = test_logging test_automaton test_automaton_io test_ptree test_ptree_to_BDD test_solve_support test_patching
    119
    1210all: $(PROGRAMS)