750a0e47ab900e3f470240ae7474d9c79c93d29b
[model-checker-benchmarks.git] / chase-lev-deque-bugfix / Makefile
1 include ../benchmarks.mk
2
3 BENCH := deque
4
5 #NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6 testcase7 testcase8 testcase9 testcase10
6 NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6
7
8 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
9
10 TESTS := $(NORMAL_TESTS) $(WILDCARD_TESTS)
11
12 all: $(TESTS)
13
14 $(BENCH).o : $(BENCH).c $(BENCH).h
15         $(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
16
17 $(BENCH)_wildcard.o : $(BENCH)_wildcard.c $(BENCH).h
18         $(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
19
20 $(WILDCARD_TESTS): %_wildcard : %.c $(BENCH)_wildcard.o 
21         $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
22
23 $(NORMAL_TESTS): % : %.c $(BENCH).o
24         $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
25
26 clean:
27         rm -f *.o *.d $(TESTS)