aboutsummaryrefslogtreecommitdiff
path: root/emacsen
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-02-28 19:47:50 -0500
committerRyan Kavanagh <rak@debian.org>2013-02-28 19:47:50 -0500
commit2dc3d23ad77e7ba70759c7ada366d43f26d8860f (patch)
treeaa7ef8562315649448c590c3d5101c9fab65bc04 /emacsen
parentX emacs doesn't handle xterm colours (color-NNN), switch to hex (diff)
Added bbdb
Diffstat (limited to 'emacsen')
-rw-r--r--emacsen/Makefile12
m---------emacsen/bbdb0
2 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-%=%)
diff --git a/emacsen/bbdb b/emacsen/bbdb
new file mode 160000
+Subproject fafcf8705d760539f59485fe97b4741063e7514