add seqlock

[model-checker-benchmarks.git] / seqlock / Makefile

diff --git a/seqlock/Makefile b/seqlock/Makefile
new file mode 100644 (file)
index 0000000..98375f9
--- /dev/null
+++ b/seqlock/Makefile
@@ -0,0 +1,9 @@
+include ../benchmarks.mk
+
+all: seqlock
+
+seqlock: seqlock.c
+       $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+
+clean:
+       rm -f seqlock