520fcf9aa39ab299a6bcf004a47cb6ce0aa6e2f1
[model-checker-benchmarks.git] / mpmc-queue / Makefile
1 include ../benchmarks.mk
2
3 TESTNAME = mpmc-queue
4 TESTS = mpmc-queue mpmc-1r2w mpmc-2r1w
5
6 all: $(TESTS)
7
8 mpmc-queue: CPPFLAGS += -DCONFIG_MPMC_READERS=2 -DCONFIG_MPMC_WRITERS=2
9 mpmc-1r2w: CPPFLAGS += -DCONFIG_MPMC_READERS=1 -DCONFIG_MPMC_WRITERS=2
10 mpmc-2r1w: CPPFLAGS += -DCONFIG_MPMC_READERS=2 -DCONFIG_MPMC_WRITERS=1
11
12 $(TESTS): $(TESTNAME).cc $(TESTNAME).h
13         $(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS)
14
15 clean:
16         rm -f $(TESTS) *.o