diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-13 20:00:28 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-23 17:29:53 -0400 |
| commit | 54aa34fbae35502b98c1d8b2e7e920438e13faee (patch) | |
| tree | ba056384a578d7fa94b4eb6c504a54af599768c8 /coq/coq-par-compile.el | |
| parent | d135b92061bb5329f7c66d03a106156258fa5a90 (diff) | |
par-compile: Don't try to compile plugins (cm.*)
Diffstat (limited to 'coq/coq-par-compile.el')
| -rw-r--r-- | coq/coq-par-compile.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 840a1598..25e82e2e 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -486,9 +486,10 @@ this buffer visible and returns a string." (with-current-buffer coq-compile-response-buffer (insert output))) (coq-display-compile-response-buffer) "unsatisfied dependencies") - (if (string-match ": \\(.*\\)$" output) - (cdr-safe (split-string (match-string 1 output))) - ()))) + (when (string-match "\\`.*: " output) + (cl-remove-if-not + (lambda (f) (string-match-p "\\.vo?\\'" f)) + (cdr-safe (split-string (substring output (match-end 0)))))))) (defun coq-par-get-library-dependencies (lib-src-file coq-load-path &optional command-intro) |