X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=barrier%2FMakefile;fp=barrier%2FMakefile;h=34dd9dfd8ef03832ce4037f9678166399a587949;hb=66c6a6bc064c305840027fd6141ea14276c928c2;hp=0000000000000000000000000000000000000000;hpb=16e76455012b6b145747c21a3bc614de54d2203a;p=model-checker-benchmarks.git

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