diff --git a/rebar.config b/rebar.config index 205d892aa..e5f46125a 100644 --- a/rebar.config +++ b/rebar.config @@ -15,6 +15,15 @@ {xref_checks,[undefined_function_calls,undefined_functions,locals_not_used, deprecated_function_calls,warnings_as_errors,deprecated_functions]}. +%% Check for the mnesia calls forbidden by Ekka: +{xref_queries, + [ {"E || \"mnesia\":\"dirty_write\"/\".*\" : Fun", []} + , {"E || \"mnesia\":\"dirty_delete.*\"/\".*\" : Fun", []} + , {"E || \"mnesia\":\"transaction\"/\".*\" : Fun", []} + , {"E || \"mnesia\":\"async_dirty\"/\".*\" : Fun", []} + , {"E || \"mnesia\":\"clear_table\"/\".*\" : Fun", []} + ]}. + {dialyzer, [ {warnings, [unmatched_returns, error_handling, race_conditions]}, {plt_location, "."},