X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=seqlock%2FMakefile;fp=seqlock%2FMakefile;h=98375f9bd98bb6c44693dea4cea23cfefb0c81fa;hp=0000000000000000000000000000000000000000;hb=cec79cfe07dea7f730f0f0c928a34689f2119809;hpb=bd72205f6e95bd471c13dcf74476d44b40e9a56d

diff --git a/seqlock/Makefile b/seqlock/Makefile
new file mode 100644
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