Ticket #41653: patch-tests-Makefile.diff

tests/Makefile

@@ -3 +3 @@
 # SCL; 2012, 2013.
 
 
-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
-
-CFLAGS = $(CFLAGS_BASE) -I../src -I../$(CUDD_ROOT)/include
-LDFLAGS = $(CUDD_LIB) -lm
+CFLAGS = $(CFLAGS_BASE) -I../src -I/opt/local/include/cudd
+LDFLAGS = -L/opt/local/lib/cudd -lcudd -lm
 PROGRAMS = test_logging test_automaton test_automaton_io test_ptree test_ptree_to_BDD test_solve_support test_patching
 
 all: $(PROGRAMS)