From 30817aa2b119cbcfacf1c198b00c011c5c3d358d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 15 Jan 2015 16:48:24 -0800
Subject: [PATCH] feat(emacs): allow user to provide extra commands to
 lean-server

---
 src/emacs/lean-server.el   | 10 ++++++----
 src/emacs/lean-settings.el |  6 ++++++
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el
index 0a562e818..e00af1794 100644
--- a/src/emacs/lean-server.el
+++ b/src/emacs/lean-server.el
@@ -134,10 +134,12 @@
   "Create lean-server process."
   (let ((process-connection-type nil)
         (lean-server-process
-         (start-process lean-server-process-name
-                        lean-server-buffer-name
-                        (lean-get-executable lean-executable-name)
-                        lean-server-option)))
+         (apply 'start-process
+                (append (list lean-server-process-name
+                              lean-server-buffer-name
+                              (lean-get-executable lean-executable-name)
+                              lean-server-option)
+                        lean-server-options))))
     (set-process-coding-system lean-server-process 'utf-8 'utf-8)
     (set-process-filter lean-server-process 'lean-server-output-filter)
     (set-process-sentinel lean-server-process 'lean-server-handle-signal)
diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el
index c29a35647..0c6811c44 100644
--- a/src/emacs/lean-settings.el
+++ b/src/emacs/lean-settings.el
@@ -54,6 +54,12 @@ show both of expressions and types.")
 (defcustom lean-server-retry-time 0.1
   "Retry interval for event-handler")
 
+(defcustom lean-server-options nil
+  "Additional command line options for the Lean background
+   process used to perform tasks such as type information and
+   perform auto-completion"
+  :group 'lean)
+
 (defcustom lean-flycheck-use t
   "Use flycheck for lean."
   :group 'lean