From f26065599679034ef69d9049652beaafa540fa30 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 22 May 2008 08:23:52 +0000
Subject: Fixed a bug with local variable setting.

---
 coq/coq-local-vars.el | 5 +++--
 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)
diff --git a/coq/coq.el b/coq/coq.el
index d9d56d48..0b9d8c34 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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")) ".")
-- 
cgit v1.2.3