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