aboutsummaryrefslogtreecommitdiff
path: root/emacsen
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-02-19 15:07:03 -0500
committerRyan Kavanagh <rak@debian.org>2013-02-19 15:07:03 -0500
commiteb64fe1687c526136d37839df00c542a99693ec8 (patch)
tree78b1a8e8e7edeebae167a0d671ba8e01fe3c2790 /emacsen
parentUpdate path to proofgeneral in .emacs (diff)
Update emacsen Makefile so as to not needlessly recompile everything
Diffstat (limited to 'emacsen')
-rw-r--r--emacsen/Makefile26
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)