projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
run.sh: support running from a different directory
[model-checker.git]
/
test
/
Makefile
diff --git
a/test/Makefile
b/test/Makefile
index a0b6d6e4ac9829bb6184e41c6cc5bca8b064c03e..9d7acb0894b7db264e5b4bd4e90a61cff6be0a27 100644
(file)
--- a/
test/Makefile
+++ b/
test/Makefile
@@
-1,16
+1,26
@@
-include ../common.mk
+BASE := ..
-CPPFLAGS += -I.. -I../include
+OBJECTS := $(patsubst %.c, %.o, $(wildcard *.c))
+OBJECTS += $(patsubst %.cc, %.o, $(wildcard *.cc))
-# Mac OSX options
+include $(BASE)/common.mk
-SRCS = $(wildcard *.c)
-OBJS = $(patsubst %.c,%.o,$(SRCS))
+DIR := litmus
+include $(DIR)/Makefile
-all: $(OBJS)
+DEPS := $(join $(addsuffix ., $(dir $(OBJECTS))), $(addsuffix .d, $(notdir $(OBJECTS))))
+
+CPPFLAGS += -I$(BASE) -I$(BASE)/include
+
+all: $(OBJECTS)
+
+-include $(DEPS)
%.o: %.c
%.o: %.c
- $(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+ $(CC) -MMD -MF $(@D)/.$(@F).d -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
+
+%.o: %.cc
+ $(CXX) -MMD -MF $(@D)/.$(@F).d -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
clean::
clean::
- rm -f
*.o
+ rm -f
$(OBJECTS) $(DEPS)