diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-09 17:41:39 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-14 14:39:53 -0500 |
| commit | 7534276abdf6684fa4781384f1711c50f8830073 (patch) | |
| tree | 27873e20feeadc2584cc6b6dd7c97da68c3f4a42 /coq/coq-par-compile.el | |
| parent | acc6177014ddb9b9eaaba537e59fabe056912419 (diff) | |
Automatically detect which version of Coq we're using
Diffstat (limited to 'coq/coq-par-compile.el')
| -rw-r--r-- | coq/coq-par-compile.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 7b42c69a..5c37c382 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -20,8 +20,9 @@ ;; - check what happens if coq-par-coq-arguments gets a bad load path ;; - on error, try to put location info into the error message ;; -;; Note that all argument computations inherit coq--pre-v85: when changing -;; compilers, all compilation jobs must be terminated. +;; Note that all argument computations inherit `coq-autodetected-version': when +;; changing compilers, all compilation jobs must be terminated. This is +;; consistent with the fact that the _CoqProject file is not reparsed. (eval-when-compile (require 'proof-compat)) @@ -459,7 +460,7 @@ belonging to the circle." Argument COQ-LOAD-PATH must be `coq-load-path' from the buffer that triggered the compilation, in order to provide correct load-path options to coqdep." - (nconc (coq-coqdep-prog-args coq-load-path (file-name-directory lib-src-file) coq--pre-v85) + (nconc (coq-coqdep-prog-args coq-load-path (file-name-directory lib-src-file) (coq--pre-v85)) (list lib-src-file))) (defun coq-par-coqc-arguments (lib-src-file coq-load-path) @@ -467,7 +468,7 @@ load-path options to coqdep." Argument COQ-LOAD-PATH 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 coq-load-path (file-name-directory lib-src-file) coq--pre-v85) + (nconc (coq-coqc-prog-args coq-load-path (file-name-directory lib-src-file) (coq--pre-v85)) (list lib-src-file))) (defun coq-par-analyse-coq-dep-exit (status output command) |