--- tests/Makefile.orig	2014-11-30 22:56:18.000000000 -0600
+++ tests/Makefile	2014-12-22 01:59:00.000000000 -0600
@@ -3,8 +3,8 @@
 # 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
-CUDD_INC = -I../$(CUDD_ROOT)/include
+CUDD_LIB = $(CUDD_PREFIX)/lib/cudd/libcudd.dylib
+CUDD_INC = -I$(CUDD_PREFIX)/include/cudd
 
 CFLAGS = -g -Wall -pedantic -ansi
 ALL_CFLAGS = $(CFLAGS) $(CUDD_XCFLAGS) $(CUDD_INC) -I../src