From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 23:24:25 +0000 (-0700)
Subject: add top-level Makefile
X-Git-Tag: pldi2013~60
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=75b832bf593aa334b7c54293babe43b0e3e17076;ds=sidebyside

add top-level Makefile
---

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..26349f7
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,8 @@
+DIRS := barrier
+
+.PHONY: subdirs $(DIRS)
+
+all: $(DIRS)
+
+$(DIRS):
+	$(MAKE) -C $@