diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-02-19 14:37:50 -0500 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-02-19 14:37:50 -0500 |
| commit | 8064284fe3e2a276d9310d04d0c593ed6ced527b (patch) | |
| tree | f8c4ff00b5b312dc5ac6efd5b07ac5869281bae5 /emacsen | |
| parent | Added .emacs and glue to make it compile packages on every system (diff) | |
Added proofgeneral
Diffstat (limited to 'emacsen')
| -rw-r--r-- | emacsen/Makefile | 11 | ||||
| m--------- | emacsen/proofgeneral | 0 |
2 files changed, 9 insertions, 2 deletions
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 diff --git a/emacsen/proofgeneral b/emacsen/proofgeneral new file mode 160000 +Subproject 89b08da94021ec618c57026031c836aa1f7e021 |