Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Loading…

build automatically project PLT for `make dialyze` #37

Closed
wants to merge 5 commits into from

2 participants

@andrzejsliwa

the goals:

  • build automatically project PLT when file is missing on make dialyze
  • don't needs to build it explicitly (by default file is updated automatically by dialyzer when this is needed)
@essen
Owner

I'll get back to you after merging #40 which does a better job at defining the plt variable. Thanks.

@essen
Owner

#40 has been merged, please update your PR for merging!

Also I don't think you need an "if/else", you can make build-plt depend on the file and add a rule for the file itself I think.

@andrzejsliwa

hmm. I need to switch back to if.. because target is not working like if... its always building even if file exist.

@essen
Owner
@andrzejsliwa

fixing...

@essen
Owner

Looks good. Please do the equivalent change to plugins/dialyzer.mk and then squash all in one commit, thanks!

@essen
Owner

Hello!

@andrzejsliwa

fixed in #99

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
This page is out of date. Refresh to see the latest.
Showing with 7 additions and 1 deletion.
  1. +7 −1 erlang.mk
View
8 erlang.mk
@@ -258,10 +258,16 @@ PLT_APPS ?=
DIALYZER_OPTS ?= -Werror_handling -Wrace_conditions \
-Wunmatched_returns # -Wunderspecs
-build-plt: deps app
+$(DIALYZER_PLT): deps app
@dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS)
+build-plt: $(DIALYZER_PLT)
+
+ifneq ($(wildcard $(DIALYZER_PLT)),)
dialyze:
+else
+dialyze: $(DIALYZER_PLT)
+endif
@dialyzer --src src --no_native $(DIALYZER_OPTS)
# Packages.
Something went wrong with that request. Please try again.