The CDSSpec checker's benchmarks
[model-checker-benchmarks.git] / mcs-lock / Makefile
1 include ../benchmarks.mk
2
3 BENCH := mcs-lock
4
5 BENCH_BINARY := $(BENCH).o
6
7 TESTS := main testcase
8
9 all: $(TESTS)
10         ../generate.sh $(notdir $(shell pwd))
11
12 %.o : %.cc
13         $(CXX) -c -fPIC -MMD -MF .$@.d -o $@ $< $(CXXFLAGS) $(LDFLAGS)
14
15 $(TESTS): % : %.o  $(BENCH_BINARY)
16         $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
17
18 -include .*.d 
19
20 clean:
21         rm -rf $(TESTS) *.o .*.d *.dSYM
22
23 .PHONY: clean all