execution: add const
[model-checker.git] / test / Makefile
1 BASE = ..
2
3 include $(BASE)/common.mk
4
5 CPPFLAGS += -I$(BASE) -I$(BASE)/include
6
7 SRCS = $(wildcard *.c)
8 CPSRCS = $(wildcard *.cc)
9 OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))
10
11 all: $(OBJS) litmus-tests
12
13 litmus-tests::
14         $(MAKE) -C litmus
15
16 %.o: %.c
17         $(CC) -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
18
19 %.o: %.cc
20         $(CXX) -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
21
22 clean::
23         rm -f *.o
24         $(MAKE) -C litmus clean