Permalink
Browse files

emacs config: next-error search path ok even if default-directory unset.

This way next-error behaves accordingly with make -C. Making the setting
of default-directory independent of the compile/next-error setting.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16905 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent 6a43dd3 commit 427e97df9f723cc47e5053c743dfe19daee88511 courtieu committed Oct 22, 2013
Showing with 3 additions and 2 deletions.
  1. +3 −2 .dir-locals.el
View
@@ -17,9 +17,10 @@
;; Setting the compilation directory to coq root. This is
;; mutually exclusive with the setting of default-directory
- ;; below.
+ ;; below. Also setting the path for next error.
(unless coq-project-find-file
- (setq compile-command (concat "make -C " coq-root-directory)))
+ (setq compile-command (concat "make -C " coq-root-directory))
+ (setq compilation-search-path (cons coq-root-directory nil)))
;; Set default directory to coq root ONLY IF variable
;; coq-project-find-file is non nil. This should remain a

0 comments on commit 427e97d

Please sign in to comment.