X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=test%2FMakefile;h=5f73159cfdbd7f48480ac468f2bf2259998a683b;hp=2a44231abd7d0625e4a6f336e75eea233fb96ee7;hb=9acc51b844da6a7ae2d3dc65e1d09273e1248722;hpb=fdc038715881f395ddbac1625160236f8db2c1d7

diff --git a/test/Makefile b/test/Makefile
index 2a44231..5f73159 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -14,10 +14,10 @@ all: $(OBJECTS)
 -include $(DEPS)
 
 %.o: %.c
-	$(CC) -MMD -MF $(@D)/.$(@F).d -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
+	$(CC) -MMD -MF $(@D)/.$(@F).d -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(TEST_LIB_SO)
 
 %.o: %.cc
-	$(CXX) -MMD -MF $(@D)/.$(@F).d -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
+	$(CXX) -MMD -MF $(@D)/.$(@F).d -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(TEST_LIB_SO)
 
 clean::
 	rm -f $(OBJECTS) $(DEPS)