diff options
| author | Loïc Hoguin <[email protected]> | 2015-10-22 23:23:18 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-10-22 23:23:18 +0200 |
| commit | d7b4e589f1716e2de5087a491ea1701d294dccbc (patch) | |
| tree | 8df323b5a46e67dc9cb07ca67db7e1f5a6304384 /plugins/shell.mk | |
| parent | a9dd1a433c0a3ba4f9c82bfff17924d9d4702eee (diff) | |
| download | erlang.mk-d7b4e589f1716e2de5087a491ea1701d294dccbc.tar.gz erlang.mk-d7b4e589f1716e2de5087a491ea1701d294dccbc.tar.bz2 erlang.mk-d7b4e589f1716e2de5087a491ea1701d294dccbc.zip | |
Add shell chapter and tests
Diffstat (limited to 'plugins/shell.mk')
| -rw-r--r-- | plugins/shell.mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/plugins/shell.mk b/plugins/shell.mk index 7f32936..8b4aa84 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -1,11 +1,13 @@ # Copyright (c) 2014, M Robert Martin <[email protected]> +# Copyright (c) 2015, Loïc Hoguin <[email protected]> # This file is contributed to erlang.mk and subject to the terms of the ISC License. .PHONY: shell # Configuration. -SHELL_PATH ?= -pa $(CURDIR)/ebin $(DEPS_DIR)/*/ebin +SHELL_ERL ?= erl +SHELL_PATHS ?= $(CURDIR)/ebin $(APPS_DIR)/*/ebin $(DEPS_DIR)/*/ebin SHELL_OPTS ?= ALL_SHELL_DEPS_DIRS = $(addprefix $(DEPS_DIR)/,$(SHELL_DEPS)) @@ -25,4 +27,4 @@ build-shell-deps: $(ALL_SHELL_DEPS_DIRS) $(verbose) for dep in $(ALL_SHELL_DEPS_DIRS) ; do $(MAKE) -C $$dep ; done shell: build-shell-deps - $(gen_verbose) erl $(SHELL_PATH) $(SHELL_OPTS) + $(gen_verbose) $(SHELL_ERL) -pa $(SHELL_PATHS) $(SHELL_OPTS) |