diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:07:03 -0500 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:07:03 -0500 |
| commit | eb64fe1687c526136d37839df00c542a99693ec8 (patch) | |
| tree | 78b1a8e8e7edeebae167a0d671ba8e01fe3c2790 | |
| parent | Update path to proofgeneral in .emacs (diff) | |
Update emacsen Makefile so as to not needlessly recompile everything
| -rw-r--r-- | emacsen/Makefile | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/emacsen/Makefile b/emacsen/Makefile index 174fc53..07e764e 100644 --- a/emacsen/Makefile +++ b/emacsen/Makefile @@ -9,29 +9,39 @@ SUBDIRS = auto-complete \ proofgeneral # color-theme-6.6.0 \ +MAKEDIRS = $(SUBDIRS:%=make-%) INSTALLDIRS = $(SUBDIRS:%=install-%) CLEANDIRS = $(SUBDIRS:%=clean-%) -subdirs: $(SUBDIRS) +all: subdirs + +subdirs: $(MAKEDIRS) -$(SUBDIRS): - $(MAKE) -C $@ +$(MAKEDIRS): + $(MAKE) -C $(@:make-%=%) + touch $@ install: $(INSTALLDIRS) +install-% : make-% $(INSTALLDIRS): -mkdir -p $(EMACSD)/$(@:install-%=%) $(MAKE) -C $(@:install-%=%) install DIR=$(EMACSD)/$(@:install-%=%) clean: $(CLEANDIRS) + rm -f make-* + $(CLEANDIRS): $(MAKE) -C $(@:clean-%=%) clean # Manual overrides: -auto-indent-mode clean-auto-indent-mode: +make-auto-indent-mode: + touch $@ + +clean-auto-indent-mode: echo $@ -proofgeneral: - $(MAKE) -C $@ compile +make-proofgeneral: + $(MAKE) -C $(@:make-%=%) compile install-auto-complete: -mkdir -p $(EMACSD)/$(@:install-%=%) @@ -58,6 +68,4 @@ clean-magit: $(MAKE) -C $(@:clean-%=%) clean rm -fr $(@:clean-%=%)/share -all: subdirs - -.PHONY: all subdirs $(SUBDIRS) install $(INSTALLDIRS) clean $(CLEANDIRS) +.PHONY: all install clean $(CLEANDIRS) |