Added dialyzer support
This commit is contained in:
15
Makefile
15
Makefile
@@ -1,4 +1,6 @@
|
|||||||
REBAR=./rebar
|
PROJECT = esqlite
|
||||||
|
REBAR = ./rebar
|
||||||
|
DIALYZER = dialyzer
|
||||||
|
|
||||||
all: compile
|
all: compile
|
||||||
|
|
||||||
@@ -17,3 +19,14 @@ clean: rebar
|
|||||||
|
|
||||||
distclean:
|
distclean:
|
||||||
rm $(REBAR)
|
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
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user