From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alan Schmitt Subject: [PATCH] ob-coq cleanup Date: Wed, 10 Feb 2016 09:41:24 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54123) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aTQLA-0004l2-BU for emacs-orgmode@gnu.org; Wed, 10 Feb 2016 03:41:37 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aTQL7-0001z9-5z for emacs-orgmode@gnu.org; Wed, 10 Feb 2016 03:41:36 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:35993) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aTQL6-0001vD-Ue for emacs-orgmode@gnu.org; Wed, 10 Feb 2016 03:41:33 -0500 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Hello, Here is a small patch cleaning up ob-coq. --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename=0001-ox-coq.el-Clean-up.patch Content-Transfer-Encoding: quoted-printable From=204d3a37fbc078541bebb9bef73e6d81e85a95e048 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' =2D-- 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 4339a52..7aea5a6 100644 =2D-- 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" ()) =20 +(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.") =20 =2D(defvar org-babel-coq-eoe "org-babel-coq-eoe") =2D (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 SESS= ION then create one. Return the initialized session." (unless (fboundp 'run-coq) (error "`run-coq' not defined, load coq-inferior.el")) =2D (save-window-excursion (run-coq "coqtop")) + (save-window-excursion (run-coq coq-program-name)) (sit-for 0.1) (get-buffer org-babel-coq-buffer)) =20 =2D-=20 2.7.0 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Best, Alan =2D-=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO=E2=82=82 (2016-01, Mauna Loa Obs.): 402.52 --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBCgAGBQJWuve0AAoJEAQNCjtO0uXHM0AH/iEOq9PhC/KfkAy3tXpzotL9 uhRDvFMsiWKz+gi7H3GeTlyRtFLBBBeEc4kbmnY4x6wQU+Uwv/hEP7M1kW0bYRVk BqlSmO0XcgLakXw1ilZPVc2zYBpX772tnK2DKqI/KKzBn1dEy3BAzRICN9NBv/Ph Iot8E8hrq7HUKn7HRnGmtfANqRG/aPxi3I2WW5CIPaVtZ9WPjDPBUn65wwbKkTq1 3Z482RGaxp551+Wh/t1Bg2ywZHTmAzkJVP4I5IXTSPUAo0Yqjx1GvWsprQWAL4h8 Zjc7z495ub7vfd09lgpW2dv0gwxrV3B1+w3f96sHztAWvbmwGFmwz51IPmbNhnw= =2N4k -----END PGP SIGNATURE----- --==-=-=--