projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge demsky's SC analysis fixup
[model-checker.git]
/
test
/
Makefile
diff --git
a/test/Makefile
b/test/Makefile
index 87893243ce83e32f9e27331ec8620de14c6bce2d..f1ea5b295d110f81090bf2807b2aeb25c2b9f8bc 100644
(file)
--- a/
test/Makefile
+++ b/
test/Makefile
@@
-1,23
+1,24
@@
-include ../common.mk
+BASE = ..
-CPPFLAGS += -I.. -I../include
+include $(BASE)/common.mk
-# Mac OSX options
-ifeq ($(UNAME), Darwin)
-CPPFLAGS += -D_XOPEN_SOURCE -DMAC
-endif
+CPPFLAGS += -I$(BASE) -I$(BASE)/include
SRCS = $(wildcard *.c)
CPSRCS = $(wildcard *.cc)
OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))
SRCS = $(wildcard *.c)
CPSRCS = $(wildcard *.cc)
OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))
-all: $(OBJS)
+all: $(OBJS) litmus-tests
+
+litmus-tests::
+ $(MAKE) -C litmus
%.o: %.c
%.o: %.c
- $(CC) -o $@ $< $(CPPFLAGS) -L
..
-l$(LIB_NAME)
+ $(CC) -o $@ $< $(CPPFLAGS) -L
$(BASE)
-l$(LIB_NAME)
%.o: %.cc
%.o: %.cc
- $(CXX) -o $@ $< $(CPPFLAGS) -L
..
-l$(LIB_NAME)
+ $(CXX) -o $@ $< $(CPPFLAGS) -L
$(BASE)
-l$(LIB_NAME)
clean::
rm -f *.o
clean::
rm -f *.o
+ $(MAKE) -C litmus clean