edits
[model-checker-benchmarks.git] / treiber-stack / Makefile
1 include ../benchmarks.mk
2
3 BENCH := stack
4
5 NORMAL_TESTS := testcase1
6
7 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
8
9 TESTS := $(NORMAL_TESTS) $(WILDCARD_TESTS)
10
11 all: $(TESTS)
12
13 $(WILDCARD_TESTS): CXXFLAGS += -DWILDCARD
14 $(WILDCARD_TESTS): %_wildcard : %.cc $(BENCH)_wildcard.h 
15         $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
16
17 $(NORMAL_TESTS): % : %.cc $(BENCH).h
18         $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
19
20 clean:
21         rm -f *.o *.d $(TESTS)