diff options
| -rw-r--r-- | coq/coq-local-vars.el | 5 | ||||
| -rw-r--r-- | coq/coq.el | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el index effa3d02..deaed341 100644 --- a/coq/coq-local-vars.el +++ b/coq/coq-local-vars.el @@ -78,8 +78,9 @@ Set them to PROGNAME and PROGARGS respectively. These variables describe the coqtop command to be launched on this file." (local-vars-list-set 'coq-prog-name progname) (local-vars-list-set 'coq-prog-args progargs) - (setq proof-prog-name progname) - (setq proof-prog-args progargs)) + ;; coq-guess-command-line uses coq-prog-name, so set it + (setq coq-prog-name progname) + (setq coq-prog-args progargs)) (defun coq-read-directory (prompt &optional default maynotmatch initialcontent) @@ -788,7 +788,7 @@ This is specific to `coq-mode'." (defun coq-guess-command-line (filename) "Guess the right command line options to compile FILENAME using `make -n'." (if (local-variable-p 'coq-prog-name (current-buffer)) coq-prog-name - (let ((dir (file-name-directory filename)) + (let ((dir (or (file-name-directory filename) ".")) (makedir (cond ((file-exists-p (concat dir "Makefile")) ".") |