diff options
Diffstat (limited to '.dir-locals.el')
| -rw-r--r-- | .dir-locals.el | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index 182d5ff71..e32ce14a4 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -11,16 +11,19 @@ (coq-project-find-file (and (boundp 'coq-project-find-file) coq-project-find-file))) ;; coq tags file and coq debugger executable - (setq tags-file-name (concat coq-root-directory "TAGS") - camldebug-command-name (concat coq-root-directory + (set (make-local-variable 'tags-file-name) + (concat coq-root-directory "TAGS")) + (setq camldebug-command-name (concat coq-root-directory "dev/ocamldebug-coq")) ;; Setting the compilation directory to coq root. This is ;; mutually exclusive with the setting of default-directory ;; below. Also setting the path for next error. (unless coq-project-find-file - (setq compile-command (concat "make -C " coq-root-directory)) - (setq compilation-search-path (cons coq-root-directory nil))) + (set (make-local-variable 'compile-command) + (concat "make -C " coq-root-directory)) + (set (make-local-variable '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 |