Added dialyzer build. Modified priv/Makefile to J. Armstrong's comments.

2008-10-16 16:35:19 -04:00
parent d8def928b3
commit e1d88eb9a0
2 changed files with 7 additions and 2 deletions
--- a/5
+++ b/5
@@ -1,4 +1,6 @@
 ERL=erl
+OTP_TOP=/opt/local/lib/erlang/lib
+PLT_SRC=$(OTP_TOP)/kernel-2.12.4/ebin $(OTP_TOP)/stdlib-1.15.4/ebin/ $(OTP_TOP)/crypto-1.5.2.1/ebin $(OTP_TOP)/compiler-4.5.4/ebin $(OTP_TOP)/hipe-3.6.8/ebin/ ebin

 all: compile docs

@@ -6,6 +8,9 @@ compile:
 	$(ERL) -make
 	cd priv && make

+static:
+	dialyzer --build_plt --output_plt sqlite.plt -r ebin $(PLT_SRC)
+
 clean:
 	- rm ebin/*.beam 
 	- rm doc/*