diff options
author | Klas Johansson <[email protected]> | 2010-05-30 22:27:56 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2010-06-01 13:14:25 +0200 |
commit | 704ce3e8e296704bd5c0dfddc3ee58e1ea0ecc45 (patch) | |
tree | 1fc8cb0dd7e68534647ec074d6e7f7ed302d18b1 | |
parent | 418de1e35ab35809c4464cfab20e3b4b27426f04 (diff) | |
download | otp-704ce3e8e296704bd5c0dfddc3ee58e1ea0ecc45.tar.gz otp-704ce3e8e296704bd5c0dfddc3ee58e1ea0ecc45.tar.bz2 otp-704ce3e8e296704bd5c0dfddc3ee58e1ea0ecc45.zip |
erlang-flymake: Make the syntax check command configurable
-rw-r--r-- | lib/tools/emacs/erlang-flymake.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/tools/emacs/erlang-flymake.el b/lib/tools/emacs/erlang-flymake.el index 660e72a6a1..bc368e9454 100644 --- a/lib/tools/emacs/erlang-flymake.el +++ b/lib/tools/emacs/erlang-flymake.el @@ -24,6 +24,10 @@ (eval-when-compile (require 'cl)) +(defvar erlang-flymake-command + "erlc" + "The command that will be used to perform the syntax check") + (defvar erlang-flymake-get-code-path-dirs-function 'erlang-flymake-get-code-path-dirs "Return a list of ebin directories to add to the code path.") @@ -58,10 +62,10 @@ check on newline and when there are no changes)." (defun erlang-flymake-get-include-dirs () (list (concat (erlang-flymake-get-app-dir) "include"))) -(defun erlang-flymake-get-app-dir () +(defun erlang-flymake-get-app-dir () (let ((src-path (file-name-directory (buffer-file-name)))) (file-name-directory (directory-file-name src-path)))) - + (defun erlang-flymake-init () (let* ((temp-file (flet ((flymake-get-temp-dir () (erlang-flymake-temp-dir))) @@ -79,7 +83,7 @@ check on newline and when there are no changes)." (append inc-dir-opts code-dir-opts erlang-flymake-extra-opts))) - (list "erlc" (append compile-opts (list temp-file))))) + (list erlang-flymake-command (append compile-opts (list temp-file))))) (defun erlang-flymake-temp-dir () ;; Squeeze the user's name in there in order to make sure that files |