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