barrier: add test driver, Makefile

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

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