diff options
| author |  Patrick Loiseleur <da+pg-patrl@inf.ed.ac.uk> | 1999-06-08 07:46:53 +0000 |
|---|---|---|
| committer | Patrick Loiseleur <da+pg-patrl@inf.ed.ac.uk> | 1999-06-08 07:46:53 +0000 |
| commit | 585d10259522cb8b01be0143b2668bfae3b643b9 (patch) | |
| tree | 091c27fa5b80c03a5a15cc624b1be057166f2dd9 /generic/proof-shell.el | |
| parent | e8fb21bdc212f75596aa17521df0050cd129289e (diff) | |
*** empty log message ***
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: " |