Add example settings for coq-prog-args and coq-prog-env

1 files changed, 14 insertions, 1 deletions

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