From 8064284fe3e2a276d9310d04d0c593ed6ced527b Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Tue, 19 Feb 2013 14:37:50 -0500
Subject: Added proofgeneral

---
 emacsen/Makefile | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'emacsen/Makefile')

diff --git a/emacsen/Makefile b/emacsen/Makefile
index 9f8b299..174fc53 100644
--- a/emacsen/Makefile
+++ b/emacsen/Makefile
@@ -5,9 +5,9 @@ export ELISPDIR
 
 SUBDIRS = auto-complete \
 	  auto-indent-mode \
-	  magit
+	  magit \
+	  proofgeneral
 #	  color-theme-6.6.0 \
-#	  ProofGeneral-4.1
 
 INSTALLDIRS = $(SUBDIRS:%=install-%)
 CLEANDIRS = $(SUBDIRS:%=clean-%)
@@ -30,6 +30,9 @@ $(CLEANDIRS):
 auto-indent-mode clean-auto-indent-mode:
 	echo $@
 
+proofgeneral:
+	$(MAKE) -C $@ compile
+
 install-auto-complete:
 	-mkdir -p $(EMACSD)/$(@:install-%=%)
 	$(MAKE) -C $(@:install-%=%) -e DIR=$(EMACSD)/$(@:install-%=%) install
@@ -47,6 +50,10 @@ install-magit:
 	$(MAKE) -C $(@:install-%=%) -e PREFIX="" -e DESTDIR=$(shell pwd)/$(@:install-%=%) \
 		-e SYSCONFDIR="" -e ELISP_INSTALL_DIR=$(EMACSD)/$(@:install-%=%) install
 
+install-proofgeneral:
+	-mkdir -p $(EMACSD)/$(@:install-%=%)
+	$(MAKE) -C $(@:install-%=%) -e ELISP=$(EMACSD)/$(@:install-%=%) install-el install-elc
+
 clean-magit:
 	$(MAKE) -C $(@:clean-%=%) clean
 	rm -fr $(@:clean-%=%)/share
-- 
cgit v1.2.3