From eb64fe1687c526136d37839df00c542a99693ec8 Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Tue, 19 Feb 2013 15:07:03 -0500
Subject: Update emacsen Makefile so as to not needlessly recompile everything

---
 emacsen/Makefile | 26 +++++++++++++++++---------
 1 file changed, 17 insertions(+), 9 deletions(-)

(limited to 'emacsen/Makefile')

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)
-- 
cgit v1.2.3