diff options
| author | Sébastien Delafond <sdelafond@gmail.com> | 2016-11-07 10:41:54 +0100 |
|---|---|---|
| committer | Sébastien Delafond <sdelafond@gmail.com> | 2016-11-07 10:41:54 +0100 |
| commit | ec84430cf4e09ba25ec675debdf802bc28111e06 (patch) | |
| tree | 9c64bc8a0cd5e8cac82aa5fdf369d40529f140f8 /lisp/ob-coq.el | |
| parent | 84539dca3aa301ecfe48858eceef1ced0505388b (diff) | |
Imported Upstream version 9.0
Diffstat (limited to 'lisp/ob-coq.el')
| -rw-r--r-- | lisp/ob-coq.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lisp/ob-coq.el b/lisp/ob-coq.el index 210f1a2..7aea5a6 100644 --- a/lisp/ob-coq.el +++ b/lisp/ob-coq.el @@ -1,4 +1,4 @@ -;;; ob-coq.el --- org-babel functions for Coq +;;; ob-coq.el --- Babel Functions for Coq -*- lexical-binding: t; -*- ;; Copyright (C) 2010-2016 Free Software Foundation, Inc. @@ -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)) |