From d5cb6b103dd338fe0bd246fd46c9a2ea4de1fd5c Mon Sep 17 00:00:00 2001
From: Maas-Maarten Zeeman <mmzeeman@xs4all.nl>
Date: Thu, 27 Dec 2012 00:35:28 +0100
Subject: [PATCH] Added dialyzer support

---
 Makefile | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index f8cb091..329b3aa 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,6 @@
-REBAR=./rebar
+PROJECT = esqlite
+REBAR = ./rebar
+DIALYZER = dialyzer
 
 all: compile
 
@@ -17,3 +19,14 @@ clean: rebar
 
 distclean: 
 	rm $(REBAR)
+
+# dializer 
+
+build-plt:
+	@$(DIALYZER) --build_plt --output_plt .$(PROJECT).plt \
+		--apps kernel stdlib 
+
+dialyze:
+	@$(DIALYZER) --src src --plt .$(PROJECT).plt --no_native \
+		-Werror_handling -Wrace_conditions -Wunmatched_returns -Wunderspecs
+