From fcf7af36ca0b1ae20486651c1eb7aa62e8dd772a Mon Sep 17 00:00:00 2001
From: Jesper Louis Andersen <jesper.louis.andersen@gmail.com>
Date: Fri, 6 Jan 2012 21:22:23 +0100
Subject: [PATCH] Provide a Makefile for running dialyzer.

While here, also dump another slew of goodies in the makefile.
---
 .gitignore |  1 +
 Makefile   | 30 ++++++++++++++++++++++++++++++
 2 files changed, 31 insertions(+)
 create mode 100644 Makefile

diff --git a/.gitignore b/.gitignore
index d414033..941904e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@ ebin
 deps
 *~
 .eunit
+/.fractal_btree.plt
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..bbc4ea2
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,30 @@
+REBAR = ./rebar
+DIALYZER = dialyzer
+
+.PHONY: plt analyze all deps compile get-deps clean
+
+all: compile
+
+get-deps:
+	@$(REBAR) get-deps
+
+compile:
+	@$(REBAR) compile
+
+clean:
+	@$(REBAR) clean
+
+plt: compile
+	$(DIALYZER) --build_plt --output_plt .fractal_btree.plt \
+		-pa deps/plain_fsm/ebin \
+		-pa deps/ebloom/ebin \
+		deps/plain_fsm/ebin \
+		deps/ebloom/ebin \
+		--apps kernel stdlib
+
+analyze: compile
+	$(DIALYZER) --plt .fractal_btree.plt \
+	-pa deps/plain_fsm/ebin \
+	-pa deps/ebloom/ebin \
+	ebin
+