From: bdemsky <bdemsky@uci.edu>
Date: Thu, 15 Dec 2016 01:02:28 +0000 (-0800)
Subject: Fix build of test directory
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9acc51b844da6a7ae2d3dc65e1d09273e1248722;p=satcheck.git

Fix build of test directory
---

diff --git a/common.mk b/common.mk
index b91369f..763ccd0 100644
--- a/common.mk
+++ b/common.mk
@@ -8,6 +8,7 @@ UNAME := $(shell uname)
 LIB_NAME := model
 TSO_LIB_SO := libtso_$(LIB_NAME).so
 SC_LIB_SO := libsc_$(LIB_NAME).so
+TEST_LIB_SO := sc_model
 
 CPPFLAGS += -Wall -g -O3
 
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)