projects / model-checker-benchmarks.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
raw elimination-backoff code from paper
[model-checker-benchmarks.git] / seqlock / Makefile
1 include ../benchmarks.mk
2
3 all: seqlock
4
5 seqlock: seqlock.c
6         $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
7
8 clean:
9         rm -f seqlock
C++11 memory model checker benchmarks