dca2e818edf9f319860b204d2ddf0c7bd2547f43
[model-checker-benchmarks.git] / chase-lev-deque-bugfix / Makefile
1 include ../benchmarks.mk
2
3 BENCH := deque
4
5 BENCH_BINARY := $(BENCH).o
6
7 TESTS := main testcase1 testcase2 testcase3 testcase4 testcase5 testcase6
8
9 all: $(TESTS)
10         ../generate.sh $(notdir $(shell pwd))
11
12 %.o: %.c
13         $(CC) -c -fPIC -MMD -MF .$@.d -o $@ $< $(CFLAGS) $(LDFLAGS)
14
15 $(TESTS): %: %.o $(BENCH_BINARY)
16         $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
17
18 -include .*.d 
19
20 clean:
21         rm -rf $(TESTS) *.o .*.d *.dSYM
22
23 .PHONY: clean all