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 | |
| parent | Added .emacs and glue to make it compile packages on every system (diff) | |
Added proofgeneral
| -rw-r--r-- | .gitmodules | 3 | ||||
| -rw-r--r-- | emacsen/Makefile | 11 | ||||
| m--------- | emacsen/proofgeneral | 0 |
3 files changed, 12 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules index 7c2a476..388ede7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,3 +7,6 @@ [submodule "emacsen/magit"] path = emacsen/magit url = git@github.com:magit/magit.git +[submodule "emacsen/proofgeneral"] + path = emacsen/proofgeneral + url = git@github.com:emacsmirror/proofgeneral.git 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 |