typo
[model-checker-benchmarks.git] / ms-queue / Makefile
1 include ../benchmarks.mk
2
3 BENCH := queue
4
5 BENCH_BINARY := $(BENCH).o
6
7 TESTS := main testcase1 testcase2 testcase3 testcase4
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