projects
/
model-checker-benchmarks.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
98375f9bd98bb6c44693dea4cea23cfefb0c81fa
[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