From 90ec88d71cc186433b915ac4a6df8be3be65b142 Mon Sep 17 00:00:00 2001 From: Alan Schmitt Date: Wed, 10 Feb 2016 09:34:37 +0100 Subject: [PATCH] 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'. --- lisp/ob-coq.el | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/lisp/ob-coq.el b/lisp/ob-coq.el index 4339a5264..7aea5a64f 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)) -- 2.11.4.GIT