mcs-lock: add trivial driver, link with build system

[model-checker-benchmarks.git] / mcs-lock / Makefile

diff --git a/mcs-lock/Makefile b/mcs-lock/Makefile
new file mode 100644 (file)
index 0000000..04d2398
--- /dev/null
+++ b/mcs-lock/Makefile
@@ -0,0 +1,11 @@
+include ../benchmarks.mk
+
+TESTNAME = mcs-lock
+
+all: $(TESTNAME)
+
+$(TESTNAME): $(TESTNAME).cc $(TESTNAME).h
+       $(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS)
+
+clean:
+       rm -f $(TESTNAME) *.o