[nongnu] elpa/proof-general 9b38f844df 1/2: coq-par-compile: add user options for extra coqc/coqdep arguments

[ELPA Syncer]

branch: elpa/proof-general
commit 9b38f844df79eaf77a64c82d21cfdc70351ccc03
Author: Hendrik Tews <hendrik@askra.de>
Commit: hendriktews <hendrik@askra.de>

    coq-par-compile: add user options for extra coqc/coqdep arguments
    
    User options coq-compile-extra-coqc-arguments and
    coq-compile-extra-coqdep-arguments are added as list of arguments to
    invocation of, respetively, coqc and coqdep in addition to the
    arguments computed, e.g., from _CoqProject.
    
    This can be used to work around #724.
---
 coq/coq-compile-common.el | 16 ++++++++++++++++
 coq/coq-par-compile.el    |  8 ++++++--
 2 files changed, 22 insertions(+), 2 deletions(-)

diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el
index e8868c901e..2d5c761e9d 100644
--- a/coq/coq-compile-common.el
+++ b/coq/coq-compile-common.el
@@ -404,6 +404,22 @@ the ``-vok'' second stage was implemented."
   :type 'number
   :safe 'numberp)
 
+(defcustom coq-compile-extra-coqdep-arguments nil
+  "Additional coqdep arguments for auto compilation as list of strings.
+These arguments are added to all coqdep invocations during
+automatic compilation in addition to the arguments computed
+automatically, for instance by parsing a _CoqProject file."
+  :type '(repeat string)
+  :safe (lambda (v) (cl-every #'stringp v)))
+
+(defcustom coq-compile-extra-coqc-arguments nil
+  "Additional coqc arguments for auto compilation as list of strings.
+These arguments are added to all coqc invocations during
+automatic compilation in addition to the arguments computed
+automatically, for instance by parsing a _CoqProject file."
+  :type '(repeat string)
+  :safe (lambda (v) (cl-every #'stringp v)))
+
 (defcustom coq-compile-command ""
   "External compilation command.  If empty ProofGeneral compiles itself.
 If unset (the empty string) ProofGeneral computes the dependencies of
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el
index aead112c72..2ee58c049d 100644
--- a/coq/coq-par-compile.el
+++ b/coq/coq-par-compile.el
@@ -761,7 +761,8 @@ earlier than 8.19."
 Argument CLPATH must be `coq-load-path' from the buffer
 that triggered the compilation, in order to provide correct
 load-path options to coqdep."
-  (nconc (coq-par-coqdep-warning-arguments)
+  (nconc (copy-sequence coq-compile-extra-coqdep-arguments) ; copy for nconc
+         (coq-par-coqdep-warning-arguments)
          (coq-coqdep-prog-args clpath
                                (file-name-directory lib-src-file)
                                (coq--pre-v85))
@@ -772,7 +773,10 @@ load-path options to coqdep."
 Argument CLPATH must be `coq-load-path' from the buffer
 that triggered the compilation, in order to provide correct
 load-path options to coqdep."
-  (nconc (coq-coqc-prog-args clpath (file-name-directory lib-src-file) 
(coq--pre-v85))
+  (nconc (copy-sequence coq-compile-extra-coqc-arguments) ; copy for nconc
+         (coq-coqc-prog-args clpath
+                             (file-name-directory lib-src-file)
+                             (coq--pre-v85))
          (list lib-src-file)))
 
 (defun coq-par-analyse-coq-dep-exit (status output command)