diff options
author | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-08-01 13:46:33 +0000 |
---|---|---|
committer | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-08-01 13:46:33 +0000 |
commit | e9b7adf4709fe96ceece4b646fae2bea1e9b2085 (patch) | |
tree | 929c801dce3e92460ba4343b516be0cc9faf130f /.dir-locals.el | |
parent | 6e22698aa7b463bb0a45c8eed84a0e8cb2476fcf (diff) |
Added .dir-locals file to take advantage of emacs 23's new Directory-local variables.
These variables are set whenever we open a file in the source tree. It sets:
* the default directory where to launch compilation (the root directory)
* the TAGS file location
* the camldebug command
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14378 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.dir-locals.el')
-rw-r--r-- | .dir-locals.el | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.dir-locals.el b/.dir-locals.el new file mode 100644 index 000000000..1de1655dd --- /dev/null +++ b/.dir-locals.el @@ -0,0 +1,8 @@ +((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 |