This is the PPoPP17 artifact version
[model-checker.git] / test-cdsspec / linuxrwlocks / Makefile
1 BENCH := linuxrwlocks
2
3 TESTS := main testcase1 testcase2 testcase3
4
5 all: $(TESTS) 
6
7 # Should include it after "all"; otherwise it will only make cdsspec-generated.o 
8 include ../benchmarks.mk
9
10 %.o : %.c 
11         $(CC) -fPIC -c -MMD -MF .$@.d -o $@ $< $(CPPFLAGS) $(LDFLAGS)
12
13 $(TESTS): % : %.o $(BENCH).o $(CDSSPEC)
14         $(CXX) -o $@ $^ $(CPPFLAGS) $(LDFLAGS)
15
16 -include .*.d
17
18 clean:
19         rm -rf $(TESTS) *.o .*.d *.dSYM
20
21 cleanse: clean 
22         rm -rf *.c *.cc *.h
23
24 .PHONY: clean all cleanse