From 51e192563696d8d7d5d69422dd0e24e6bef4ee62 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Feb 2006 16:18:20 +0000
Subject: Add example settings for coq-prog-args and coq-prog-env

---
 coq/coq.el | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index d887fe28..863cab4f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -25,11 +25,24 @@
 (defun proofstack () (coq-get-span-proofstack (span-at (point) 'type)))
 ;; End debugging
 
-(defcustom coq-prog-name "coqtop -emacs"
+(defcustom coq-prog-name 
+    "coqtop"
+;; On Windows you might need something like:
+;;  "C:/Program Files/Coq/bin/coqtop.opt.exe"
   "*Name of program to run as Coq."
   :type 'string
   :group 'coq)
 
+;; List of arguments to pass to Coq process.  Should contain -emacs.
+;; -translate will be added automatically to this list if `coq-translate-to-v8'
+;; is set.
+(setq coq-prog-args  '("-emacs"))
+
+;; List of environment settings d to pass to Coq process.
+;; On Windows you might need something like:
+;; (setq coq-prog-env '("HOME=C:\\Program Files\\Coq\\"))
+(setq coq-prog-env nil)
+
 (defcustom coq-compile-file-command "coqc %s"
   "*Command to compile a coq file.
 This is called when `coq-auto-compile-vos' is set, unless a Makefile
-- 
cgit v1.2.3