From bab3014e1a3c73dcb4af17a2061f884ea96dc05c Mon Sep 17 00:00:00 2001 From: Alexey Romanov Date: Thu, 14 Oct 2010 12:25:03 +0400 Subject: [PATCH] make static works again --- Makefile | 6 +++--- rebar.config | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) 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"}]}.