[nongnu] elpa/proof-general ac9ba11fda 2/2: Merge pull request #590 from Columbus240/master

[ELPA Syncer]

branch: elpa/proof-general
commit ac9ba11fda58800a1cec699fbda8811644847bbe
Merge: 2a8701209b 774cb5f45d
Author: Pierre Courtieu <Matafou@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #590 from Columbus240/master
---
 coq/coq-system.el | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 3afc26715c..1ee3b56989 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -551,16 +551,18 @@ Returns a mixed list of option-value pairs and strings."
 OPTIONS is a list or conses (switch . argument) and strings.
 Note that the semantics of the -arg flags in coq project files
 are weird: -arg \"a b\" means pass a and b, separately, to
-coqtop."
+coqtop. But -arg \"'a b'\" means to pass a and b together."
   (let ((args nil))
     (dolist (opt options)
       (pcase opt
         ((or "-byte" "-op")
          (push opt args))
         (`("-arg" ,concatenated-args)
-         (setq args
-               (append args
-                       (split-string-and-unquote concatenated-args 
coq--project-file-separator))))))
+        (if (and (string-prefix-p "'" concatenated-args) (string-suffix-p "'" 
concatenated-args))
+            (setq args (append args (list (substring concatenated-args 1 -1))))
+           (setq args
+                (append args
+                        (split-string-and-unquote concatenated-args 
coq--project-file-separator)))))))
     (cons "-emacs" args)))
 
 (defun coq--extract-load-path-1 (option base-directory)