projects
/
satcheck.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
fdc0387
)
Fix build of test directory
author
bdemsky
<bdemsky@uci.edu>
Thu, 15 Dec 2016 01:02:28 +0000
(17:02 -0800)
committer
bdemsky
<bdemsky@uci.edu>
Thu, 15 Dec 2016 01:02:28 +0000
(17:02 -0800)
common.mk
patch
|
blob
|
history
test/Makefile
patch
|
blob
|
history
diff --git
a/common.mk
b/common.mk
index
b91369f
..
763ccd0
100644
(file)
--- 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
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
CPPFLAGS += -Wall -g -O3
diff --git
a/test/Makefile
b/test/Makefile
index
2a44231
..
5f73159
100644
(file)
--- a/
test/Makefile
+++ b/
test/Makefile
@@
-14,10
+14,10
@@
all: $(OBJECTS)
-include $(DEPS)
%.o: %.c
-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
%.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)
clean::
rm -f $(OBJECTS) $(DEPS)