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-seq-compile.el | |
| parent | acc6177014ddb9b9eaaba537e59fabe056912419 (diff) | |
Automatically detect which version of Coq we're using
Diffstat (limited to 'coq/coq-seq-compile.el')
| -rw-r--r-- | coq/coq-seq-compile.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coq/coq-seq-compile.el b/coq/coq-seq-compile.el index 4fc56dc5..e00a2793 100644 --- a/coq/coq-seq-compile.el +++ b/coq/coq-seq-compile.el @@ -74,7 +74,7 @@ dependencies are absolute too and the simplified treatment of break." (let ((coqdep-arguments ;; FIXME should this use coq-coqdep-prog-args? - (nconc (coq-include-options coq-load-path (file-name-directory lib-src-file) coq--pre-v85) + (nconc (coq-include-options coq-load-path (file-name-directory lib-src-file) (coq--pre-v85)) (list lib-src-file))) coqdep-status coqdep-output) (if coq-debug-auto-compilation @@ -113,7 +113,7 @@ Display errors in buffer `coq-compile-response-buffer'." (message "Recompile %s" src-file) (let ((coqc-arguments (nconc - (coq-coqc-prog-args coq-load-path (file-name-directory src-file) coq--pre-v85) + (coq-coqc-prog-args coq-load-path (file-name-directory src-file) (coq--pre-v85)) (list src-file))) coqc-status) (coq-init-compile-response-buffer @@ -122,7 +122,7 @@ Display errors in buffer `coq-compile-response-buffer'." (message "call coqc arg list: %s" coqc-arguments)) (setq coqc-status (apply 'call-process - coq-compiler nil coq-compile-response-buffer t coqc-arguments)) + coq-compiler nil coq-compile-response-buffer t coqc-arguments)) (if coq-debug-auto-compilation (message "compilation %s exited with %s, output |%s|" src-file coqc-status |