Fix Guix and ACL2 configurations

1 files changed, 16 insertions, 14 deletions

diff --git a/.emacs b/.emacs
index a342c3e..efc32eb 100644
--- a/.emacs
+++ b/.emacs
@@ -111,23 +111,25 @@
 		 'common-lisp-indent-function)))
 
 ;;; Guix
-(with-eval-after-load 'geiser-guile
-  (add-to-list 'geiser-guile-load-path "~/src/guix"))
-(with-eval-after-load 'yasnippet
-  (add-to-list 'yas-snippet-dirs "~/src/guix/etc/snippets"))
-(setq user-full-name "Masaya Tojo")
-(setq user-mail-address "masaya@tojo.tokyo")
-(load-file "~/src/guix/etc/copyright.el")
-(setq copyright-names-regexp
-      (format "%s <%s>" user-full-name user-mail-address))
-(add-hook 'after-save-hook 'copyright-update)
+(when (file-directory-p "~/src/guix")
+  (with-eval-after-load 'geiser-guile
+    (add-to-list 'geiser-guile-load-path "~/src/guix"))
+  (with-eval-after-load 'yasnippet
+    (add-to-list 'yas-snippet-dirs "~/src/guix/etc/snippets"))
+  (setq user-full-name "Masaya Tojo")
+  (setq user-mail-address "masaya@tojo.tokyo")
+  (load-file "~/src/guix/etc/copyright.el")
+  (setq copyright-names-regexp
+        (format "%s <%s>" user-full-name user-mail-address))
+  (add-hook 'after-save-hook 'copyright-update))
+
+;;; ACL2
+(when (file-directory-p "~/acl2-8.3")
+  (load "~/acl2-8.3/emacs/emacs-acl2.el")
+  (put 'defthm 'lisp-indent-function 1))
 
 ;;; Geiser
 (setq geiser-active-implementations '(guile))
 
-;;; ACL2
-(load "~/acl2-8.3/emacs/emacs-acl2.el")
-(put 'defthm 'lisp-indent-function 1)
-
 ;;; Gnus
 (setq gnus-completing-read-function 'gnus-ido-completing-read)