diff options
| author | Loïc Hoguin <[email protected]> | 2018-05-14 14:33:48 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-05-14 14:33:48 +0200 |
| commit | 0e51f89ea7705a85e7fcce427a3f786f7f3d537f (patch) | |
| tree | 8f92ff0d1528b654385479a5c0f976a9f5455452 | |
| parent | e0f8b46b0d5a78a10783d0b3a02ce15f3dafbd99 (diff) | |
| download | erlang.mk-0e51f89ea7705a85e7fcce427a3f786f7f3d537f.tar.gz erlang.mk-0e51f89ea7705a85e7fcce427a3f786f7f3d537f.tar.bz2 erlang.mk-0e51f89ea7705a85e7fcce427a3f786f7f3d537f.zip | |
Add undocumented option DIALYZER_PLT_OPTS
To be used as a workaround to enable --no_native when
there are issues with distro packages.
| -rw-r--r-- | plugins/dialyzer.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 63e64b8..482857f 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -11,6 +11,7 @@ export DIALYZER_PLT PLT_APPS ?= DIALYZER_DIRS ?= --src -r $(wildcard src) $(ALL_APPS_DIRS) DIALYZER_OPTS ?= -Werror_handling -Wrace_conditions -Wunmatched_returns # -Wunderspecs +DIALYZER_PLT_OPTS ?= # Core targets. @@ -44,8 +45,8 @@ endef $(DIALYZER_PLT): deps app $(eval DEPS_LOG := $(shell test -f $(ERLANG_MK_TMP)/deps.log && \ while read p; do test -d $$p/ebin && echo $$p/ebin; done <$(ERLANG_MK_TMP)/deps.log)) - $(verbose) dialyzer --build_plt --apps erts kernel stdlib \ - $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) $(DEPS_LOG) + $(verbose) dialyzer --build_plt $(DIALYZER_PLT_OPTS) --apps \ + erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) $(DEPS_LOG) plt: $(DIALYZER_PLT) |