diff --git a/Makefile b/Makefile index 83bf2c9..dcdce97 100644 --- a/Makefile +++ b/Makefile @@ -14,10 +14,10 @@ clean: docs: $(REBAR) doc -ifeq ($(wildcard sqlite3.plt),) +ifeq ($(wildcard dialyzer/sqlite3.plt),) static: - dialyzer --build_plt --output_plt sqlite3.plt --apps erts kernel stdlib crypto compiler hipe syntax_tools -r ebin + $(REBAR) build_plt analyze else static: - dialyzer --add_to_plt --plt sqlite3.plt -r ebin --get_warnings + $(REBAR) analyze endif \ No newline at end of file diff --git a/rebar.config b/rebar.config index e1ebe5a..8b94893 100644 --- a/rebar.config +++ b/rebar.config @@ -1,6 +1,6 @@ % -*- mode: erlang -*- -{erlc_opts, [debug_info]}. +{erl_opts, [debug_info]}. %% required for dialyzer {port_envs, [{"DRV_LDFLAGS", "$DRV_LDFLAGS -lsqlite3"}]}. {cover_enabled, true}. {eunit_opts, [verbose, {report,{eunit_surefire,[{dir,"."}]}}]}. -{plt, "./sqlite3.plt"}. +{dialyzer_opts, [{plt, "dialyzer/sqlite3.plt"}]}.