diff options
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 6e640ed1..64fd86ba 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -196,16 +196,14 @@ Does nothing if proof assistant is already running." (run-hooks 'proof-pre-shell-start-hook) (setq proof-included-files-list nil) - ;; Added 05/99 by Papageno + ;; Added 05/99 by Patrick L. (let ((name (buffer-file-name (current-buffer)))) ;; FIXME : we check that the buffer corresponds to a file, ;; but we do not check that it is in coq- or isa-mode (if (and name proof-prog-name-guess proof-guess-command-line) - (let ((dir (file-name-directory name))) - (if (file-exists-p (concat dir "Makefile")) - (setq proof-prog-name - (apply proof-guess-command-line (list name))))))) - + (setq proof-prog-name + (apply proof-guess-command-line (list name))))) + (if proof-prog-name-ask (save-excursion (setq proof-prog-name (read-shell-command "Run process: " |