diff options
Diffstat (limited to 'emacsen/Makefile')
| -rw-r--r-- | emacsen/Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/emacsen/Makefile b/emacsen/Makefile index 134758a..9a3abcf 100644 --- a/emacsen/Makefile +++ b/emacsen/Makefile @@ -6,6 +6,7 @@ export ELISPDIR SUBDIRS = auto-complete \ auto-indent-mode \ magit \ + popup \ proofgeneral # color-theme-6.6.0 \ @@ -34,12 +35,16 @@ $(CLEANDIRS): $(MAKE) -C $(@:clean-%=%) clean # Manual overrides: -make-auto-indent-mode: +make-auto-indent-mode make-popup: touch $@ clean-auto-indent-mode: echo $@ +make-auto-complete: + $(MAKE) -C $(@:make-%=%) -e EMACS="emacs -L ../popup/" + touch $@ + make-proofgeneral: $(MAKE) -C $(@:make-%=%) compile @@ -60,6 +65,10 @@ install-magit: $(MAKE) -C $(@:install-%=%) -e PREFIX="" -e DESTDIR=$(EMACSD) \ -e SYSCONFDIR="" -e ELISP_INSTALL_DIR=$(EMACSD)/$(@:install-%=%) install +install-popup: + mkdir -p $(EMACSD)/$(@:install-%=%) + install -m 644 $(@:install-%=%)/popup.el $(EMACSD)/$(@:install-%=%)/ + install-proofgeneral: -mkdir -p $(EMACSD)/$(@:install-%=%) $(MAKE) -C $(@:install-%=%) -e ELISP=$(EMACSD)/$(@:install-%=%) install-el install-elc |