From 5c03eae23fa9efb59ae7d56fe264838376d21211 Mon Sep 17 00:00:00 2001 From: Ryan Kavanagh Date: Tue, 19 Feb 2013 14:29:25 -0500 Subject: Added .emacs and glue to make it compile packages on every system --- .emacs | 80 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Makefile | 10 +++++-- emacsen/Makefile | 12 ++++----- 3 files changed, 94 insertions(+), 8 deletions(-) create mode 100644 .emacs diff --git a/.emacs b/.emacs new file mode 100644 index 0000000..9b67fe3 --- /dev/null +++ b/.emacs @@ -0,0 +1,80 @@ +(add-to-list 'load-path "~/.emacs.d/auto-indent-mode") +(add-to-list 'load-path "~/.emacs.d/auto-complete") +(add-to-list 'load-path "~/.emacs.d/magit") +(add-to-list 'load-path "/usr/share/emacs/site-lisp/proofgeneral/coq/") +(add-to-list 'load-path "/usr/local/share/emacs/site-lisp/vm") +(add-to-list 'load-path "~/.emacs.d/ProofGeneral/") + +(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el") + +;;;; AUTO COMPLETE +(require 'auto-complete-config) +(ac-config-default) +(ac-set-trigger-key "TAB") +(add-to-list 'ac-dictionary-directories "~/.emacs.d/auto-complete/ac-dict") +(add-to-list 'ac-modes 'Coq-mode) + +;;;; AUTO INDENT +(require 'auto-indent-mode) +(auto-indent-global-mode) + +;;;; MAGIT +(require 'magit) + +;;;; VC-GIT +(setq load-path (cons (expand-file-name "/usr/share/doc/git-core/contrib/emacs") load-path)) +(require 'vc-git) +(when (featurep 'vc-git) (add-to-list 'vc-handled-backends 'git)) +(require 'git) +(autoload 'git-blame-mode "git-blame" + "Minor mode for incremental blame for Git." t) + +;;;; VM +(require 'vm-autoloads) + +(custom-set-variables + ;; custom-set-variables was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + '(auto-indent-next-pair-timer-interval (quote ((css-mode 1.5) (haskell-mode 1.5) (python-mode 1.5) (latex-mode 1.5) (coq-mode 1.5) (default 0.0005)))) + '(column-number-mode t) + '(default-input-method "TeX") + '(proof-disappearing-proofs t) + '(proof-electric-terminator-enable t) + '(scroll-bar-mode nil) + '(tool-bar-mode nil)) +(custom-set-faces + ;; custom-set-faces was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + '(default ((t (:family "Inconsolata" :foundry "unknown" :slant normal :weight normal :height 83 :width normal)))) + '(proof-locked-face ((t (:weight bold))))) + +;;;; TeX +(setq TeX-PDF-mode t) + +;;;; Others +;(require 'color-theme) +;(color-theme-initialize) + +(setq mew-proto "%") +(setq mew-imap-user "ryan") +(setq mew-imap-server "localhost") + +;; Emacs24: Cycle through tab-completions with tab if there are less than 5 +(setq completion-cycle-threshold 5) +;; Emacs24: Also match for substrings in tab completion +(add-to-list 'completion-styles 'substring) + +;; Replace yes or no prompts with y or n. +(fset 'yes-or-no-p 'y-or-n-p) + +(set-background-color "black") +(set-face-background 'default "black") +(set-face-background 'region "black") +(set-face-foreground 'default "white") +(set-face-foreground 'region "gray60") +(set-foreground-color "white") +(set-cursor-color "red") diff --git a/Makefile b/Makefile index f8a797c..9d30d2e 100755 --- a/Makefile +++ b/Makefile @@ -42,6 +42,7 @@ GLOBAL_FILES = \ .cmus/ \ .dput.cf \ .dzen/ \ + .emacs \ .fonts.conf \ .gitconfig \ .imapfilter/ \ @@ -108,7 +109,7 @@ all: clean build # build/LOCAL_FILES targets overwrite what was copied in GLOBAL_FILES. BUILD = $(patsubst %,build/%,$(GLOBAL_FILES) $(LOCAL_FILES) $(GPG_FILES)) -build: $(BUILD) +build: $(BUILD) emacsen # We must force these with a phony target, otherwise, make will see that they're # already there (for example, from installing the rest of .mutt or .zsh) and @@ -126,6 +127,10 @@ $(GPG_FILES): touch $@ && chmod 600 $@ [ "$(GPG_DISABLED)" = "True" ] || $(GPG_BINARY) --decrypt gpg/$@.gpg > $@ +emacsen: + $(MAKE) -C $@ + $(MAKE) -C $@ install + build/%: % $(SUBSTS_FILE) [ -d $(dir $@) ] || mkdir -p $(dir $@) ( [ -d $< ] && rsync -a $