From 40b00efff7e47b22c80c677514f9d689c918383c Mon Sep 17 00:00:00 2001
From: pboutill
Date: Tue, 23 Oct 2012 12:31:28 +0000
Subject:  the new .dir-locals.el thanks to Pierre Courtieu

As it says :
Set default directory to coq root ONLY IF variable
coq-project-find-file is non nil. This should remain a
user preference and not be set by default. This setting
is redundant with compile-command above as M-x compile
always CD's to default directory. To enable it add this
to your emacs config: (setq coq-project-find-file t)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15924 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .dir-locals.el | 39 +++++++++++++++++++++++++++++++--------
 1 file changed, 31 insertions(+), 8 deletions(-)

diff --git a/.dir-locals.el b/.dir-locals.el
index 1de1655dd7..092973c39c 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -1,8 +1,31 @@
-((nil . ((eval . (setq default-directory (locate-dominating-file
-                                          buffer-file-name
-                                          ".dir-locals.el")
-                       tags-file-name (concat default-directory
-                                          "TAGS")
-                       camldebug-command-name (concat
-                                          default-directory "dev/ocamldebug-coq")
-)))))
\ No newline at end of file
+;; EMACS CONFIGURATION FOR COQ DEVELOPPERS This configuration will be
+;; executed for each opened file under coq root directory.
+((nil
+  . ((eval
+      . (progn
+	  ;; coq root directory (ending with slash)
+	  (let ((coq-root-directory (locate-dominating-file buffer-file-name
+							    ".dir-locals.el"))
+		(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
+						 "dev/ocamldebug-coq"))
+
+	    ;; Setting the compilation directory to coq root. This is
+	    ;; mutually exclusive with the setting of default-directory
+	    ;; below.
+	    (unless coq-project-find-file
+	      (setq compile-command (concat "make -C " coq-root-directory)))
+
+	    ;; Set default directory to coq root ONLY IF variable
+	    ;; coq-project-find-file is non nil. This should remain a
+	    ;; user preference and not be set by default. This setting
+	    ;; is redundant with compile-command above as M-x compile
+	    ;; always CD's to default directory. To enable it add this
+	    ;; to your emacs config: (setq coq-project-find-file t)
+	    (when coq-project-find-file
+	      (setq default-directory coq-root-directory))))
+      ))
+  ))
-- 
cgit v1.2.3