diff options
author | Alan Schmitt <alan.schmitt@polytechnique.org> | 2016-02-10 09:34:37 +0100 |
---|---|---|
committer | Alan Schmitt <alan.schmitt@polytechnique.org> | 2016-02-11 08:54:03 +0100 |
commit | 90ec88d71cc186433b915ac4a6df8be3be65b142 (patch) | |
tree | df946956e218dfb6152535d2eec5f068e4046447 | |
parent | 94b78a119885faaf29db346e09be74c00db7d97f (diff) | |
download | org-mode-90ec88d71cc186433b915ac4a6df8be3be65b142.tar.gz |
ox-coq.el: Clean up
* lisp/ob-coq.el: Create a variable `coq-program-name' and remove unused
`org-babel-coq-eoe'.
(org-babel-coq-initiate-session): Use `coq-program-name'.
-rw-r--r-- | lisp/ob-coq.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lisp/ob-coq.el b/lisp/ob-coq.el index 4339a52..7aea5a6 100644 --- a/lisp/ob-coq.el +++ b/lisp/ob-coq.el @@ -35,11 +35,12 @@ (declare-function run-coq "ext:coq-inferior.el" (cmd)) (declare-function coq-proc "ext:coq-inferior.el" ()) +(defvar coq-program-name "coqtop" + "Name of the coq toplevel to run.") + (defvar org-babel-coq-buffer "*coq*" "Buffer in which to evaluate coq code blocks.") -(defvar org-babel-coq-eoe "org-babel-coq-eoe") - (defun org-babel-coq-clean-prompt (string) (if (string-match "^[^[:space:]]+ < " string) (substring string 0 (match-beginning 0)) @@ -70,7 +71,7 @@ If there is not a current inferior-process-buffer in SESSION then create one. Return the initialized session." (unless (fboundp 'run-coq) (error "`run-coq' not defined, load coq-inferior.el")) - (save-window-excursion (run-coq "coqtop")) + (save-window-excursion (run-coq coq-program-name)) (sit-for 0.1) (get-buffer org-babel-coq-buffer)) |