Description of benchmarks
[model-checker-benchmarks.git] / Makefile
1 DIRS := barrier mcs-lock mpmc-queue spsc-queue spsc-bugfix linuxrwlocks \
2         dekker-fences chase-lev-deque ms-queue chase-lev-deque-bugfix
3
4 .PHONY: $(DIRS)
5
6 all: $(DIRS)
7
8 clean: $(DIRS:%=clean-%)
9
10 $(DIRS):
11         $(MAKE) -C $@
12
13 clean-%:
14         -$(MAKE) -C $* clean