aboutsummaryrefslogtreecommitdiff
path: root/emacsen/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'emacsen/Makefile')
-rw-r--r--emacsen/Makefile12
1 files changed, 11 insertions, 1 deletions
diff --git a/emacsen/Makefile b/emacsen/Makefile
index e2ea22b..f13fb84 100644
--- a/emacsen/Makefile
+++ b/emacsen/Makefile
@@ -2,9 +2,11 @@ ROOT=$(shell pwd)/..
export ROOT
EMACSD=$(ROOT)/build/.emacs.d/
export ELISPDIR
+EMACSEN=$(ROOT)/emacsen
SUBDIRS = auto-complete \
auto-indent-mode \
+ bbdb \
dictem \
magit \
markdown-mode \
@@ -48,11 +50,15 @@ make-auto-complete:
$(MAKE) -C $(@:make-%=%) -e EMACS="emacs -L ../popup/"
touch $@
+make-bbdb: make-vm
+ cd $(@:make-%=%) && autoconf && ./configure --prefix=$(EMACSD) --without-tex-dir --with-vm-dir=$(EMACSEN)/vm/lisp
+ $(MAKE) -C $(@:make-%=%)
+
make-proofgeneral:
$(MAKE) -C $(@:make-%=%) compile
make-vm:
- cd $(@:make-%=%) && autoconf && ./configure --prefix=$(EMACSD)
+ cd $(@:make-%=%) && autoconf && ./configure --prefix=$(EMACSD) --with-other-dirs=$(EMACSEN)/bbdb/lisp
$(MAKE) -C $(@:make-%=%)
install-auto-complete:
@@ -63,6 +69,10 @@ install-auto-indent-mode:
-mkdir -p $(EMACSD)/$(@:install-%=%)
cp $(@:install-%=%)/auto-indent-mode.el $(EMACSD)/$(@:install-%=%)
+install-bbdb:
+ -mkdir -p $(EMACSD)/$(@:install-%=%)
+ $(MAKE) -C $(@:install-%=%) -e lispdir=$(EMACSD)/$(@:install-%=%) install
+
install-dictem:
-mkdir -p $(EMACSD)/$(@:install-%=%)
install -m 644 $(@:install-%=%)/*.el $(EMACSD)/$(@:install-%=%)