Merge pull request #858 from erlang-ls/update-makefile

Update Makefile to build needed .plt for typer tests
erlang-ls · Jan 23, 2021 · 4cebba0 · 4cebba0
2 parents 90a68d8 + acb19c9
commit 4cebba0
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -8,7 +8,10 @@ install: all
 	@ echo "Installing escript..."
 	@ cp _build/default/bin/erlang_ls /usr/local/bin
 
-ci:
+$HOME/.dialyzer_plt:
+	dialyzer --build_plt --apps erts kernel stdlib
+
+ci: $HOME/.dialyzer_plt
 	rebar3 do compile, ct, proper --cover --constraint_tries 100, dialyzer, xref, cover, edoc
 
 coveralls: