diff options
author | Jean-Sébastien Pédron <[email protected]> | 2017-05-12 09:30:45 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2017-05-12 11:57:30 +0200 |
commit | cd99adbb98d8965c65f68da2853f14506756d7b3 (patch) | |
tree | 697617c1a027e425ad67d0fc6f042bf81abbd585 /doc/src/guide/shell.asciidoc | |
parent | ae5415d4a1000022c568932e7a6efa96e684b016 (diff) | |
download | erlang.mk-cd99adbb98d8965c65f68da2853f14506756d7b3.tar.gz erlang.mk-cd99adbb98d8965c65f68da2853f14506756d7b3.tar.bz2 erlang.mk-cd99adbb98d8965c65f68da2853f14506756d7b3.zip |
Support early-stage plugins through `$(DEP_EARLY_PLUGINS)`
Regular plugins (`$(DEP_PLUGINS)`) are loaded near the end of Erlang.mk.
This is fine when you want to modify variables initialized earlier in
Erlang.mk or add new targets and variables.
However, it doesn't allow you to declare more dependencies because they
are loaded too late for that.
This commit introduces a new variable, `$(DEP_EARLY_PLUGINS)`, which can
be used to list plugins meant to be loaded near the beginning of
Erlang.mk. Those allow to append to the list of dependencies.
They work exactly like regular plugins otherwise. The default filename
loaded is `early-plugins.mk`.
Diffstat (limited to 'doc/src/guide/shell.asciidoc')
0 files changed, 0 insertions, 0 deletions