Make PLT a separate build target

So that it does not get rebuilt every time the `make ci` target is run.
erlang-ls · Jan 19, 2021 · acb19c9 · acb19c9
1 parent b9840c3
commit acb19c9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -8,8 +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: