correct comment typo

[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))
 
-all: $(OBJS)
+all: $(OBJS) litmus-tests
+
+litmus-tests::
+       $(MAKE) -C litmus
 
 %.o: %.c
-       $(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+       $(CC) -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
 
 %.o: %.cc
-       $(CXX) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+       $(CXX) -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
 
 clean::
        rm -f *.o
+       $(MAKE) -C litmus clean