The CDSSpec checker's benchmarks
[model-checker-benchmarks.git] / Makefile
1 DIRS := register-acqrel register-relaxed ms-queue linuxrwlocks mcs-lock \
2         chase-lev-deque-bugfix treiber-stack ticket-lock seqlock read-copy-update \
3         concurrent-hashmap spsc-bugfix mpmc-queue barrier \
4         chase-lev-deque-bugfix-loose ms-queue-loose blocking-mpmc-example
5
6 .PHONY: $(DIRS)
7
8 all: $(DIRS)
9
10 clean: $(DIRS:%=clean-%)
11
12 $(DIRS):
13         $(MAKE) -C $@
14
15 clean-%:
16         -$(MAKE) -C $* clean