diff options
| author | Carl Worth <cworth@cworth.org> | 2010-04-06 11:02:09 -0700 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2010-04-06 14:36:31 -0700 |
| commit | b5d8fe278425f7be49b6819e8187efffdffbd836 (patch) | |
| tree | b26b37e364131f1fac09a5be31539a9734e6eb31 /completion | |
| parent | e1a84ab1733c78fce8afeef8f022122988fc8a10 (diff) | |
Makefile: Move the completion-specific commands to completion/Makefile.local
For much better modularity.
Diffstat (limited to 'completion')
| -rw-r--r-- | completion/Makefile | 7 | ||||
| -rw-r--r-- | completion/Makefile.local | 18 |
2 files changed, 25 insertions, 0 deletions
diff --git a/completion/Makefile b/completion/Makefile new file mode 100644 index 0000000..b6859ea --- /dev/null +++ b/completion/Makefile @@ -0,0 +1,7 @@ +# See Makfefile.local for the list of files to be compiled in this +# directory. +all: + $(MAKE) -C .. all + +.DEFAULT: + $(MAKE) -C .. $@ diff --git a/completion/Makefile.local b/completion/Makefile.local new file mode 100644 index 0000000..6a6012d --- /dev/null +++ b/completion/Makefile.local @@ -0,0 +1,18 @@ +# -*- makefile -*- + +dir := completion + +# The dir variable will be re-assigned to later, so we can't use it +# directly in any shell commands. Instead we save its value in other, +# private variables that we can use in the commands. +bash_script := $(dir)/notmuch-completion.bash +zsh_script := $(dir)/notmuch-completion.zsh + +install: install-$(dir) + +install-$(dir): + @echo $@ + mkdir -p $(DESTDIR)$(bash_completion_dir) + install -m0644 $(bash_script) $(DESTDIR)$(bash_completion_dir)/notmuch + mkdir -p $(DESTDIR)$(zsh_completion_dir) + install -m0644 $(zsh_script) $(DESTDIR)$(zsh_completion_dir)/notmuch |