diff options
| author | Andrzej Sliwa <[email protected]> | 2014-08-06 22:25:50 +0200 |
|---|---|---|
| committer | Andrzej Sliwa <[email protected]> | 2014-08-06 23:42:36 +0200 |
| commit | 3901389bfbf5eecb57b24a12c00e4adb5015bfbd (patch) | |
| tree | eee208ef7a5213469d905bfef21432f45172e5c8 | |
| parent | cd6829ecf61b1f280be6690cd0f14e2088a3fe79 (diff) | |
| download | erlang.mk-3901389bfbf5eecb57b24a12c00e4adb5015bfbd.tar.gz erlang.mk-3901389bfbf5eecb57b24a12c00e4adb5015bfbd.tar.bz2 erlang.mk-3901389bfbf5eecb57b24a12c00e4adb5015bfbd.zip | |
build plt automaticly when is missing
| -rw-r--r-- | erlang.mk | 8 | ||||
| -rw-r--r-- | plugins/dialyzer.mk | 8 |
2 files changed, 14 insertions, 2 deletions
@@ -618,13 +618,19 @@ help:: # Plugin-specific targets. -plt: deps app +$(DIALYZER_PLT): deps app @dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS) +plt: $(DIALYZER_PLT) + distclean-plt: $(gen_verbose) rm -f $(DIALYZER_PLT) +ifneq ($(wildcard $(DIALYZER_PLT)),) dialyze: +else +dialyze: $(DIALYZER_PLT) +endif @dialyzer --no_native --src -r src $(DIALYZER_OPTS) # Copyright (c) 2013-2014, Loïc Hoguin <[email protected]> diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 8e404d1..db1143a 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -24,11 +24,17 @@ help:: # Plugin-specific targets. -plt: deps app +$(DIALYZER_PLT): deps app @dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS) +plt: $(DIALYZER_PLT) + distclean-plt: $(gen_verbose) rm -f $(DIALYZER_PLT) +ifneq ($(wildcard $(DIALYZER_PLT)),) dialyze: +else +dialyze: $(DIALYZER_PLT) +endif @dialyzer --no_native --src -r src $(DIALYZER_OPTS) |